Spaces:

96kevinli29
/

mathagent

Running

App Files Files Community

998 kB

Ctrl+K

Ctrl+K

2 contributors

History: 32 commits

96kevinli29

Claude Opus 4.8

Stream stall watchdog: cut half-open model connections, keep partial output

992c412 3 months ago

data
mathagent: end-to-end math problem-solving / proof agent on A-Evolve 3 months ago
mathagent
Stream stall watchdog: cut half-open model connections, keep partial output 3 months ago
out
mathagent: end-to-end math problem-solving / proof agent on A-Evolve 3 months ago
scripts
mathagent: end-to-end math problem-solving / proof agent on A-Evolve 3 months ago
workspace
Stream stall watchdog: cut half-open model connections, keep partial output 3 months ago
.dockerignore

89 Bytes
Add Dockerfile + .dockerignore for one-step deploy (Render/Railway/Fly/HF Spaces) 3 months ago
.env.example

1.16 kB
Reliability audit fixes: Chinese PDF, no more silent export failures, full trace 3 months ago
.gitignore

148 Bytes
Stop tracking unrelated embedded repo ai4math_demo (gitignore it) 3 months ago
Dockerfile

803 Bytes
Add Dockerfile + .dockerignore for one-step deploy (Render/Railway/Fly/HF Spaces) 3 months ago
README.md

5.88 kB
v15: task-adaptive modes (solve/explore), PDF paper ingestion, fabrication guards 3 months ago
install.sh

1.28 kB
Easier install (install.sh + clear README) and more robust streaming UI 3 months ago
pyproject.toml

692 Bytes
v15: task-adaptive modes (solve/explore), PDF paper ingestion, fabrication guards 3 months ago