h1: A Taste of the Bitter Lesson in Automated Theorem Proving
Paper • 2610.35962 • Published • 18
AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
h1: A Taste of the Bitter Lesson in Automated Theorem Proving
Efficient RL Training for LLMs with Experience Replay
skandermoalla
submitted a
paper to Daily Papers 1 day ago
Vivc
authored 6
papers 7 months ago
Active Self-Supervised Learning: A Few Low-Cost Relationships Are All You Need
Paper • 2303.15256 • Published • 1
Scaling Laws for Associative Memories
Paper • 2310.02984 • Published
Birth of a Transformer: A Memory Viewpoint
Paper • 2306.00802 • Published • 2
Clustering Head: A Visual Case Study of the Training Dynamics in Transformers
Paper • 2410.24050 • Published
Unveiling Simplicities of Attention: Adaptive Long-Context Head Identification
Paper • 2502.09647 • Published
Provable Benefits of In-Tool Learning for Large Language Models
Paper • 2508.20755 • Published • 11
Vivc
submitted a
paper to Daily Papers 7 months ago
nielsr
submitted a
paper to Daily Papers 7 months ago
ynie
submitted a
paper to Daily Papers 8 months ago
vincent-sk-li
authored 2
papers 8 months ago
ishmed
authored a
paper 9 months ago
yawarnihal
authored a
paper 9 months ago
yawarnihal
submitted a
paper to Daily Papers 9 months ago
yunhe2019
published a
dataset 11 months ago
yunhe2019
updated a
dataset 11 months ago
shoubhikdn
authored a
paper 11 months ago
Updating links to the correct path
2
#25 opened 12 months ago
by 
betodepaola
Updating links to the correct path
2
#25 opened 12 months ago
by betodepaola