arxiv:2502.03438
shen zheng
shenzheng
AI & ML interests
None yet
Recent Activity
authored
a paper
about 11 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