Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
Paper
•
2507.02726
•
Published
•
14
FilipV
PheelaV
·
AI & ML interests
SW&DS&AI
Organizations
None yet
upvoted
2
papers
6 months ago
upvoted
2
articles
12 months ago
Article
Accelerating Language Model Inference with Mixture of Attentions
•
24
Article
Deriving DPO's Loss
•
29
upvoted
an
article
over 1 year ago
Article
Introduction to State Space Models (SSM)
•
198