Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Formally Solving Answer-Construction Problems in Lean
Jialiang Sun, Yuzhi Tang, Ao Li +2
Large language models (LLMs) have achieved remarkable progress in formal mathematical reasoning. Mathematical competition problems fall into two broad types: theorem-proving proble…
cs.AI2026
The MiniMax-M2 Series: Mini Activations Unleashing Max Real-World Intelligence
MiniMax, :, Aili Chen +219
We introduce the MiniMax-M2 series, a family of Mixture-of-Experts language models built around the principle that mini activations can unleash maximum real-world intelligence. The…
cs.AI2026
M3MAD-Bench: Multi-Dimensional Evaluation of Multi-Agent Debate Across Domains and Modalities
Ao Li, Jinghui Zhang, Luyu Li +10
As an agent-level reasoning and coordination paradigm, Multi-Agent Debate (MAD) orchestrates multiple agents through structured debate to improve answer quality and support complex…