Spaces:

Vilin97
/

VeriDeepResearch

Running

App Files Files Community

VeriDeepResearch

127 kB

Ctrl+K

Ctrl+K

2 contributors

History: 36 commits

Vilin97's picture

Claude Opus 4.6 (1M context)

Add extract_sorry_lemmas tool for automated decomposition

7879db5 about 1 hour ago

.claude
make iterate 1 day ago
templates
Add KaTeX + markdown rendering to status page about 4 hours ago
.gitignore
37 Bytes
. 1 day ago
CLAUDE.md
0 Bytes
Add VeriDeepResearch: verified math research chatbot 6 days ago
Dockerfile
227 Bytes
Refactor to FastAPI + background job architecture 3 days ago
ISSUES.md
3.32 kB
Fix sorry detection, explanation generation, add ISSUES.md 4 days ago
LINKS.md
472 Bytes
Add VeriDeepResearch: verified math research chatbot 6 days ago
LOG.md
4.97 kB
12/12 Putnam 2025 verified — complete sweep, $1.13 total 4 days ago
PROMPT.md
529 Bytes
Add VeriDeepResearch: verified math research chatbot 6 days ago
README.md
832 Bytes
Refactor to FastAPI + background job architecture 3 days ago
agent.py
31.3 kB
Add extract_sorry_lemmas tool for automated decomposition about 1 hour ago
app.py
3.4 kB
Add self-review gate, increase iteration limit, prefer Lean-with-sorry for Aristotle 1 day ago
config.py
1.1 kB
Add self-review gate, increase iteration limit, prefer Lean-with-sorry for Aristotle 1 day ago
email_sender.py
9.62 kB
Improve rejection emails, validate vacuous proof detection about 13 hours ago
job_models.py
3.58 kB
Refactor to FastAPI + background job architecture 3 days ago
log.md
26.3 kB
Add extract_sorry_lemmas tool for automated decomposition about 1 hour ago
requirements.txt
112 Bytes
Refactor to FastAPI + background job architecture 3 days ago
tools.py
18.2 kB
Add extract_sorry_lemmas tool for automated decomposition about 1 hour ago
worker.py
4.29 kB
Refactor to FastAPI + background job architecture 3 days ago