🧑🔬 Wenda Li — papers of 2022 — 3 papers, the most cited first3 papers · all years of Wenda LiAutoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citationsDraft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsarXiv:2210.12283Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022 · 178 citationsThor: Wielding Hammers to Integrate Language Models and Automated Theorem ProversarXiv:2205.10893Albert Q. Jiang, Wenda Li, Szymon Tworkowski, et al.2022 · 79 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/wenda-li/year/2022/