Wenda Li
Scholar

Wenda Li

Google Scholar ID: ufYxQkEAAAAJ
University of Edinburgh
theorem provingformal verificationmachine learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,610
 
H-index
16
 
i10-index
19
 
Publications
20
 
Co-authors
5
list available
Contact
No contact links provided.
Publications
5 items
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
2026
Cited
0
Hierarchical Alignment: Enforcing Hierarchical Instruction-Following in LLMs through Logical Consistency
2026
Cited
0
Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models
2026
Cited
0
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
2026
Cited
0
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
2026
Cited
2
Resume (English only)
Co-authors
5 total
Co-author 1
Co-author 1
Albert Q. Jiang
Albert Q. Jiang
Mistral AI
Christian Szegedy
Christian Szegedy
Researcher
Co-author 4
Co-author 4
Lei Yu
Lei Yu
Google DeepMind