Garett Cunningham

1 papers · 2022–2022 · 1 conference · across top CS/AI conferences

Achievements

🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)

Conferences

EMNLP (1)

Top co-authors

Răzvan Bunescu (1) David Juedes (1)

Research topics

Mathematics (1)

Keywords

theorem proving (1) semantic parsing (1) formal verification (1) interactive theorem proving (1) mathematical proof (1) code correctness (1)

Papers

Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs EMNLP 2022