arxiv:2502.03438
Ran Xin
RanXin22
AI & ML interests
None yet
Recent Activity
authored
a paper
10 days 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