Get started
Author

Wangyue Lu

Observed name: Lu, Wangyue
Observed institution: Northeastern University
OpenAlex ID: A5121141460
MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
2025 · Li, Sirui, Lu, Wangyue, et al. · arXiv (Cornell University)
PDF
Autoformalization in the Era of Large Language Models: A Survey
2025 · Weng, Ke, Du, Lun, et al. · arXiv (Cornell University)
PDF
Works count: 2
Citation count:
H-index:
I10-index:
Year
Topic
Type