Get started
Author

Wenda Li

Observed name: Li, Wenda
Observed institution: University of Edinburgh
OpenAlex ID: A5151357999
Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification
2026 · Leang, Joshua Ong Jun, Li, Haonan, et al. · arXiv (Cornell University)
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type