🧑🔬 Dragomir Radev — papers of 2023 — Elamur Research4 papers · all years of Dragomir RadevProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citationsLEVER: Learning to Verify Language-to-Code Generation with ExecutionarXiv:2302.08468Ansong Ni, Srini Iyer, Dragomir Radev, et al.2023 · 126 citationsEvaluating GPT-4 and ChatGPT on Japanese Medical Licensing ExaminationsarXiv:2303.18027Jungo Kasai, Yuhei Kasai, Keisuke Sakaguchi, et al.2023 · 77 citationsMACSum: Controllable Summarization with Mixed AttributesTransactions of the Association for Computational Linguistics (TACL)Yusen Zhang, Yang Liu, Ziyi Yang, et al.2023 · 37 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/dragomir-radev/year/2023/