BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
Paper
•
2502.03438
•
Published
•
2
Rustem Turtayev
rustem17
·
AI & ML interests
None yet
Recent Activity
liked
a model
4 days ago
teapotai/teapotllm
liked
a model
19 days ago
sesame/csm-1b
updated
a model
about 1 month ago
rustem17/oated-materials
Organizations
None yet
rustem17's activity
upvoted
2
papers
about 1 month ago