Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Yihan Geng
Observed name:
Geng, Yihan
Institution:
Peking University
Observed institutions:
Chinese University of Hong Kong,
Peking University
OpenAlex ID:
A5111223806
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
2024
·
Huaiyuan Ying
, Zijian Wu
, et al.
·
neural information processing systems
·
6
PDF
Influence Maximization Revisited
2023
·
Yihan Geng
, Kunyu Wang
, et al.
·
Lecture notes in computer science
·
1
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
Show more works
View as search
Works count:
4
Citation count:
7
H-index:
1
I10-index:
Year
Topic
Type
