Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarsity
Paper
•
2502.11901
•
Published
•
6
Robin Williams PRO
bfuzzy1
AI & ML interests
None yet
Recent Activity
View all activity
Organizations
None yet
bfuzzy1's activity
upvoted
5
papers
4 days ago
Dyve: Thinking Fast and Slow for Dynamic Process Verification
Paper
•
2502.11157
•
Published
•
6
CRANE: Reasoning with constrained LLM generation
Paper
•
2502.09061
•
Published
•
18
How Do LLMs Acquire New Knowledge? A Knowledge Circuits Perspective on Continual Pre-Training
Paper
•
2502.11196
•
Published
•
20
SWE-Lancer: Can Frontier LLMs Earn $1 Million from Real-World Freelance Software Engineering?
Paper
•
2502.12115
•
Published
•
41
upvoted
a
paper
6 days ago
upvoted
a
collection
7 days ago
upvoted
a
paper
8 days ago
upvoted
an
article
9 days ago
Article
1 Billion Classifications
•
38
upvoted
a
paper
11 days ago
upvoted
3
papers
13 days ago
Great Models Think Alike and this Undermines AI Oversight
Paper
•
2502.04313
•
Published
•
29
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
Paper
•
2502.03544
•
Published
•
42
Analyze Feature Flow to Enhance Interpretation and Steering in Language Models
Paper
•
2502.03032
•
Published
•
55
upvoted
4
papers
14 days ago
Large Language Model Guided Self-Debugging Code Generation
Paper
•
2502.02928
•
Published
•
11
Demystifying Long Chain-of-Thought Reasoning in LLMs
Paper
•
2502.03373
•
Published
•
51
LIMO: Less is More for Reasoning
Paper
•
2502.03387
•
Published
•
56
SmolLM2: When Smol Goes Big -- Data-Centric Training of a Small Language Model
Paper
•
2502.02737
•
Published
•
187
upvoted
a
paper
22 days ago
upvoted
a
paper
24 days ago
upvoted
a
paper
25 days ago