Get started
Author

Bohan Lyu

Observed name: Lyu, Bohan
Institution: Tsinghua University
Observed institution: Tsinghua University
OpenAlex ID: A5116249291
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
2025 · Lin, Yong, Tang, Shange, et al. · arXiv (Cornell University) · 3
PDF
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
2025 · Haoyu Zhao, Yihan Geng, et al. · neural information processing systems
PDF
Works count: 3
Citation count: 3
H-index: 1
I10-index:
Year
Topic
Type