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