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 3 months ago

.claude
make iterate 3 months ago
templates
Update landing page examples to showcase verified capabilities 3 months ago
.gitignore

37 Bytes
. 3 months ago
CLAUDE.md

0 Bytes
Add VeriDeepResearch: verified math research chatbot 3 months ago
Dockerfile

227 Bytes
Refactor to FastAPI + background job architecture 3 months ago
ISSUES.md

3.32 kB
Fix sorry detection, explanation generation, add ISSUES.md 3 months ago
LINKS.md

472 Bytes
Add VeriDeepResearch: verified math research chatbot 3 months ago
LOG.md

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

529 Bytes
Add VeriDeepResearch: verified math research chatbot 3 months ago
README.md

832 Bytes
Refactor to FastAPI + background job architecture 3 months ago
REPORT.md

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

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

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

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

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

3.58 kB
Refactor to FastAPI + background job architecture 3 months ago
log.md

58.2 kB
Iteration 57: maintenance 3 months ago
requirements.txt

112 Bytes
Refactor to FastAPI + background job architecture 3 months ago
tools.py

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

4.29 kB
Refactor to FastAPI + background job architecture 3 months ago