Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
Paper
•
2507.02726
•
Published
•
14
xiaotong
xtongji
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
2 days ago
Multi-Task GRPO: Reliable LLM Reasoning Across Tasks
authored
a paper
9 days ago
Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
authored
a paper
9 days ago
Rethinking Large Language Model Distillation: A Constrained Markov
Decision Process Perspective
Organizations
None yet
authored
3
papers
9 days ago