Add decomposition, Aristotle integration, and autoresearch loop - #2

Open

JunjieAraoXiong wants to merge 19 commits into

T3S1AMAX:mainfrom

JunjieAraoXiong:main

Commits on Apr 4, 2026

Refactor monolithic core.py into focused modules and add response caching
JunjieAraoXiong
committed
2195856
Address review feedback: atomic cache writes, public constants, deduplicate EVAL_GRADES
JunjieAraoXiong
committed
0a4f436
Add Erdős benchmark suite: 9 problems + runner script
JunjieAraoXiong
committed
1ae9bf6
Upgrade prompts with XML tags, sketch generation, and retrieval injection
JunjieAraoXiong
committed
913e6a2
Add AXLE API integration as verification backend
JunjieAraoXiong
committed
5b21aa1
Add Mathlib lemma retrieval system
JunjieAraoXiong
committed
46a98a9
Add comprehensive Erdős corpus builder: 1183 problems + comment scraping
JunjieAraoXiong
committed
33fafcd
Add sub-goal decomposition module (sketch → sorry2lemma → prove → reassemble)
JunjieAraoXiong
committed
b2ddab5
Add complete Erdős benchmark infrastructure
JunjieAraoXiong
committed
326c894
Add Aristotle (Harmonic) autoformalization integration
JunjieAraoXiong
committed
488a340
Add integrated autoresearch loop with 5 native strategies
JunjieAraoXiong
committed
f18743f

Commits on Apr 5, 2026

Commits on Apr 6, 2026