Cogentic: Multi-Agent Orchestration for Automated Proof Discovery
cs.AI, cs.GT
Submitted: 2026-09-30
Updated: 2026-10-01
Sources
- Large Language Monkeys: Scaling Inference Compute with Repeated Sampling
- Efficient Online Inverse Optimization with O(d) Regret
- Prediction with Expert Advice: Anytime Regret with Many Experts Matches the Fixed-Time Constant
- A New Lower Bound for the Random Offerer Mechanism in Bilateral Trade using AI-Guided Evolutionary Search
- Multiscale Reward Hedging from Correct Demonstrations
- Towards Autonomous Mathematics Research
- Mathematical exploration and discovery at scale
- Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
- Stellar Colosseum: A Many-Agent Harness for Long-Horizon Research in Mathematics and Theoretical Computer Science
- Reinforced Generation of Combinatorial Structures: Hardness of Approximation
- AlphaEvolve: A coding agent for scientific and algorithmic discovery
- Finite and Corruption-Robust Regret Bounds in Online Inverse Linear Optimization under M-Convex Action Sets
- Simple Projection-Free Algorithm for Contextual Recommendation with Logarithmic Regret and Robustness
- Tight Regret Bound for Online Inverse Linear Optimization via Multiscale Matrix Weights
- Revisiting Online Learning Approach to Inverse Linear Optimization: A Fenchel$-$Young Loss Perspective and Gap-Dependent Regret Analysis
- ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
- Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters
- Advancing Mathematics Research with AI-Driven Formal Proof Search
Related papers
- MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
- Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
- Agents' Last Exam
- The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
- MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
- Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems