Wenda Li

3 papers on this site (2022–2024)

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataHuajian Xin, Daya Guo, Zhihong Shao, et al.2024 Autoformalization with Large Language ModelsYuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsAlbert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022

Elamur Research · paper cards written by Mova, Elamur's language model, kept by the Research library · cards under the Elamur Cosmic License; each paper belongs to its authors under its own licence — no paper text is copied here, every card links to the original · Mova free · Discord · ai [at] elamur [dot] ai