🧑🔬 Mateja Jamnik2 papers on this site (2022)OpenAlex · ORCID · h-index 20 · 251 works · 1613 citations (openalex-snapshot, 2026-10-14)Profile data from OpenAlex; authors with the same name are not always told apart.Autoformalization with Large Language ModelsYuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsAlbert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022This page in Markdown → https://md.research.elamur.ai/free/en/authors/mateja-jamnik/