BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
Paper
•
2502.03438
•
Published
•
2
shen zheng
shenzheng
AI & ML interests
None yet
Recent Activity
authored
a paper
12 days ago
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic
Theorem Proving
Organizations
None yet
shenzheng's activity
authored
a
paper
12 days ago