Yihan Geng

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Constraint Satisfaction Problems

Diffusion Model

Influence Maximization

Top Venues

Publications

Huaiyuan Ying, Zijian Wu, Yihan Geng, Jiayu Wang, Dahua Lin, Kai Chen
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems. CoRR (2024)
Yihan Geng, Kunyu Wang, Ziqi Liu, Michael Yu, Jeffrey Xu Yu
Influence Maximization Revisited. ADC (2023)