mathagent / scripts
3.22 kB
96kevinli29
Claude Opus 4.8
mathagent: end-to-end math problem-solving / proof agent on A-Evolve
9aff26e