MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
Paper • 2606.13473 • Published • 92
Chengjun Xiao
X1ord
·
AI & ML interests
None yet
Recent Activity
authored a paper about 1 month ago
The MiniMax-M2 Series: Mini Activations Unleashing Max Real-World Intelligence new activity 4 months ago
MiniMaxAI/MiniMax-M2.5:关于 swebench 复现的疑问Organizations
upvoted a paper 15 days ago
upvoted an article 4 months ago
Article
Forge: Scalable Agent RL Framework and Algorithm
MiniMax-AI
• • 155 upvoted an article 8 months ago
Article
Why Did MiniMax M2 End Up as a Full Attention Model?
MiniMax-AI
• • 80 upvoted 3
papers about 1 year ago
MiniMax-M1: Scaling Test-Time Compute Efficiently with Lightning Attention
Paper • 2506.13585 • Published • 278
One RL to See Them All: Visual Triple Unified Reinforcement Learning
Paper • 2505.18129 • Published • 63
MiniMax-Speech: Intrinsic Zero-Shot Text-to-Speech with a Learnable Speaker Encoder
Paper • 2505.07916 • Published • 139