xiaotong

xtongji's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored 3 papers 5 days ago

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving

Paper • 2507.02726 • Published Jul 3, 2025 • 14

Rethinking Large Language Model Distillation: A Constrained Markov Decision Process Perspective

Paper • 2509.22921 • Published Sep 26, 2025 • 12

Scalable Power Sampling: Unlocking Efficient, Training-Free Reasoning for LLMs via Distribution Sharpening

Paper • 2601.21590 • Published 6 days ago • 12

upvoted a paper 5 days ago

Scalable Power Sampling: Unlocking Efficient, Training-Free Reasoning for LLMs via Distribution Sharpening

Paper • 2601.21590 • Published 6 days ago • 12

upvoted a paper 2 months ago

Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing

Paper • 2512.04829 • Published Dec 4, 2025 • 12

upvoted a paper 4 months ago

Rethinking Large Language Model Distillation: A Constrained Markov Decision Process Perspective

Paper • 2509.22921 • Published Sep 26, 2025 • 12

upvoted a paper 7 months ago

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving

Paper • 2507.02726 • Published Jul 3, 2025 • 14