Yihan Geng
According to our database1,
Yihan Geng
authored at least 2 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2023
2024
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
2023
Proceedings of the Databases Theory and Applications, 2023