186 matching results
Discussion · ai-academia · mjj
A scientific discovery framework that co-evolves candidate solutions and the strategies of coding agents. - Developer / Organization: Scientific Computing and Intelligence (Scaling) Group, National U
Discussion · ai-academia · mjj
An agentic research system for computational mathematics and numerical experiments. - Developer / Organization: FrenzyMath / Iteris team - Category: Open-source construction & algorithm discovery - P
Discussion · ai-academia · mjj
An open framework for evolving programs and algorithms against user-defined evaluators. - Developer / Organization: Algorithmic Superintelligence / OpenEvolve contributors - Category: Open-source con
Discussion · ai-academia · mjj
A program-evolution framework that searches for mathematical constructions using executable scoring functions. - Developer / Organization: Google DeepMind - Category: Open-source construction & algor
Discussion · ai-academia · mjj
An open tool that learns from promising examples to search for extremal mathematical constructions. - Developer / Organization: Axiom Math - Category: Open-source construction & algorithm discovery -
Discussion · ai-academia · mjj
A geometry-solving system combining model-generated constructions with symbolic deduction. - Developer / Organization: Google DeepMind - Category: Open-source formalization & proving - Purpose: Solve
Discussion · ai-academia · mjj
A minimal Lean proving agent built around iterative proposals, compilation, review and memory. - Developer / Organization: Axiomatic AI; Borja Requena, Austin Letson and collaborators - Category: Ope
Discussion · ai-academia · mjj
A formal proving framework that generates, proves and refines dependency graphs of lemmas. - Developer / Organization: Jui-Hui Chung and collaborators / Goedel-Architect team - Category: Open-source
Discussion · ai-academia · mjj
A theorem-proving agent that combines informal reasoning with formal Lean feedback. - Developer / Organization: Kaito Baba, Chaoran Liu, Shuhei Kurita and Akiyoshi Sannai - Category: Open-source form
Discussion · ai-academia · mjj
A Lean automation framework that coordinates proof blueprints and parallel proving work. - Developer / Organization: FrenzyMath / Archon team - Category: Open-source formalization & proving - Purpose
Discussion · ai-academia · mjj
A multi-agent harness for carrying long mathematical proofs through Lean formalization. - Developer / Organization: Yuanhe Zhang, Yuekai Sun, Taiji Suzuki, Jason D. Lee and Fanghui Liu - Category: Op
Discussion · ai-academia · mjj
A mathematical agent combining a coding assistant with Lean feedback, theorem search and reasoning tools. - Developer / Organization: Project Numina; Junqi Liu and collaborators - Category: Open-sour
37–48 of 186 results