Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
Paper
•
2502.07640
•
Published
•
8
Bohan22
Bohan22
AI & ML interests
None yet
Recent Activity
authored
a paper
4 days ago
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem
Proving
authored
a paper
4 days ago
SURGE: On the Potential of Large Language Models as General-Purpose
Surrogate Code Executors
Organizations
Bohan22's activity
authored
2
papers
4 days ago
upvoted
a
paper
5 days ago
commented
a
paper
5 days ago
upvoted
a
paper
10 days ago
authored
3
papers
4 months ago
GitAgent: Facilitating Autonomous Agent with GitHub by Tool Extension
Paper
•
2312.17294
•
Published
MantisScore: Building Automatic Metrics to Simulate Fine-grained Human Feedback for Video Generation
Paper
•
2406.15252
•
Published
•
16
Adapting While Learning: Grounding LLMs for Scientific Problems with Intelligent Tool Usage Adaptation
Paper
•
2411.00412
•
Published
•
10
upvoted
a
paper
4 months ago
commented
a
paper
4 months ago
authored
a
paper
4 months ago