Jianhao Shen
- Papers
- 5
Cite
Notes
Only stored in your browser.
5papers
Authored papers
5Process-Driven Autoformalization in Lean 4
arXiv 2024
Measuring Vision-Language STEM Skills of Neural Models
arXiv 2024
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
arXiv 2023
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
arXiv 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
arXiv 2023
Affiliations
No known affiliations.
Frequent co-authors
10from 5 papers