Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
Paper
•
2507.02726
•
Published
•
14
Matthieu Zimmer
MatthieuZ
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
3 days ago
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
upvoted
a
paper
5 months ago
Almost Surely Safe Alignment of Large Language Models at Inference-Time
updated
a model
6 months ago
huawei-noah/MOASpec-Llama-3-8B-Instruct
Organizations
upvoted
a
paper
3 days ago
upvoted
a
paper
5 months ago
updated
a
model
6 months ago
upvoted
an
article
6 months ago
Article
Accelerating Language Model Inference with Mixture of Attentions
By
and 1 other
•
•
24
published
an
article
6 months ago
Article
Accelerating Language Model Inference with Mixture of Attentions
By
and 1 other
•
•
24
liked
a
model
6 months ago
updated
a
model
6 months ago