arxiv:2502.03438
Yifan
YifanSun
AI & ML interests
None yet
Recent Activity
authored
a paper
about 10 hours ago
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic
Theorem Proving
Organizations
None yet
Papers
1
models
None public yet
datasets
None public yet