Spaces:

Vilin97
/

VeriDeepResearch

Running

App Files Files Community

VeriDeepResearch

184 kB

Ctrl+K

Ctrl+K

2 contributors

History: 59 commits

Vilin97's picture

Claude Opus 4.6 (1M context)

Reject sorry final_answer while Aristotle pending (max 5 rejections)

d64d4c5 about 1 month ago

.claude
make iterate about 1 month ago
templates
Update landing page examples to showcase verified capabilities about 1 month ago
.gitignore

37 Bytes
. about 1 month ago
CLAUDE.md

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

227 Bytes
Refactor to FastAPI + background job architecture about 1 month ago
ISSUES.md

3.32 kB
Fix sorry detection, explanation generation, add ISSUES.md about 1 month 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 about 1 month 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 about 1 month ago
REPORT.md

12.2 kB
Add comprehensive development report (REPORT.md) about 1 month ago
agent.py

47.3 kB
Reject sorry final_answer while Aristotle pending (max 5 rejections) about 1 month ago
app.py

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

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

9.94 kB
Add theorem-question alignment check + honest VERIFIED disclaimer about 1 month ago
job_models.py

3.58 kB
Refactor to FastAPI + background job architecture about 1 month ago
log.md

52.3 kB
Wait for Aristotle after max iterations + second wind iterations about 1 month ago
requirements.txt

112 Bytes
Refactor to FastAPI + background job architecture about 1 month ago
tools.py

20.5 kB
Add exact?/apply? to auto-repair — Mathlib lemma auto-discovery about 1 month ago
worker.py

4.29 kB
Refactor to FastAPI + background job architecture about 1 month ago