---
title: "Dragomir Radev — papers of 2023 — Elamur Research"
description: "Dragomir Radev — papers of 2023: 4 papers on Elamur Research, the most cited first — what each work is about in our own words."
canonical: "https://research.elamur.ai/free/en/authors/dragomir-radev/year/2023/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/dragomir-radev/year/2023/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Dragomir Radev](https://md.research.elamur.ai/free/en/authors/dragomir-radev/) / 2023

# Dragomir Radev — papers of 2023 — Elamur Research

4 papers · [all years of Dragomir Radev](https://md.research.elamur.ai/free/en/authors/dragomir-radev/#years)

- [ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics arXiv:2302.12433](https://md.research.elamur.ai/free/en/papers/azerbayev-2023-proofnet-autoformalizing-formally-proving-undergraduate/) — Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al. · 2023 · 142 citations
- [LEVER: Learning to Verify Language-to-Code Generation with Execution arXiv:2302.08468](https://md.research.elamur.ai/free/en/papers/ni-2023-lever-learning-verify-language-code/) — Ansong Ni, Srini Iyer, Dragomir Radev, et al. · 2023 · 126 citations
- [Evaluating GPT-4 and ChatGPT on Japanese Medical Licensing Examinations arXiv:2303.18027](https://md.research.elamur.ai/free/en/papers/kasai-2023-evaluating-gpt-4-chatgpt-japanese/) — Jungo Kasai, Yuhei Kasai, Keisuke Sakaguchi, et al. · 2023 · 77 citations

**[MACSum: Controllable Summarization with Mixed Attributes](https://md.research.elamur.ai/free/en/papers/zhang-2023-macsum-controllable-summarization-mixed-attributes/) [Transactions of the Association for Computational Linguistics (TACL)](https://md.research.elamur.ai/free/en/venues/tacl/)**Yusen Zhang, Yang Liu, Ziyi Yang, et al.*2023 · 37 citations*