Spaces:

Vilin97
/

VeriDeepResearch

Sleeping

App Files Files Community

VeriDeepResearch

191 kB

Ctrl+K

Ctrl+K

2 contributors

History: 85 commits

Vilin97's picture

Claude Opus 4.6 (1M context)

Iteration 57: maintenance

0b4790f 19 days ago

.claude
make iterate 26 days ago
templates
Update landing page examples to showcase verified capabilities 24 days ago
.gitignore

37 Bytes
. 26 days ago
CLAUDE.md

0 Bytes
Add VeriDeepResearch: verified math research chatbot about 1 month ago
Dockerfile

227 Bytes
Refactor to FastAPI + background job architecture 28 days ago
ISSUES.md

3.32 kB
Fix sorry detection, explanation generation, add ISSUES.md 28 days ago
LINKS.md

472 Bytes
Add VeriDeepResearch: verified math research chatbot about 1 month ago
LOG.md

4.97 kB
12/12 Putnam 2025 verified — complete sweep, $1.13 total 29 days ago
PROMPT.md

529 Bytes
Add VeriDeepResearch: verified math research chatbot about 1 month ago
README.md

832 Bytes
Refactor to FastAPI + background job architecture 28 days ago
REPORT.md

13.4 kB
Update REPORT.md: 46/57 verified, Aristotle pipeline docs 21 days ago
agent.py

47.3 kB
Reject sorry final_answer while Aristotle pending (max 5 rejections) 22 days ago
app.py

3.4 kB
Add self-review gate, increase iteration limit, prefer Lean-with-sorry for Aristotle 26 days ago
config.py

1.1 kB
Add self-review gate, increase iteration limit, prefer Lean-with-sorry for Aristotle 26 days ago
email_sender.py

9.94 kB
Add theorem-question alignment check + honest VERIFIED disclaimer 24 days ago
job_models.py

3.58 kB
Refactor to FastAPI + background job architecture 28 days ago
log.md

58.2 kB
Iteration 57: maintenance 19 days ago
requirements.txt

112 Bytes
Refactor to FastAPI + background job architecture 28 days ago
tools.py

20.5 kB
Add exact?/apply? to auto-repair — Mathlib lemma auto-discovery 22 days ago
worker.py

4.29 kB
Refactor to FastAPI + background job architecture 28 days ago