Wenda Li
- Papers
- 5
Cite
Notes
Only stored in your browser.
5papers
Authored papers
5Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
arXiv 2026
Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe
arXiv 2024
Evaluating Language Models for Mathematics through Interactions
arXiv 2023
Multilingual Mathematical Autoformalization
arXiv 2023
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
arXiv 2022
Affiliations
No known affiliations.
Frequent co-authors
10from 5 papers