RAFT-style prompting: distractor-aware framing + usage citations f4afb6d
p4r5kpftnp-cmd commited on
Spaces:
Running
Running
Commit History
Retrieval fixes: robust nprobe tuning + goals-only query 1dc8f6a
p4r5kpftnp-cmd commited on
Pin ruff to 0.15.14 and re-sort imports 01cdf65
p4r5kpftnp-cmd commited on
Add CI/CD: GitHub Actions workflow + ruff config 6cf7e7c
p4r5kpftnp-cmd commited on
Speed up proof generation: cache components, smaller max_tokens, two-stage retry df04431
p4r5kpftnp-cmd commited on
Add Claude API support (users supply their own key) 1145e92
p4r5kpftnp-cmd commited on
Merge pull request #7 from ray5th/worktree-agent-a5d6c683e40e73f66 c84133e unverified
Fix 4 bugs found in manual code review 1808386
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on
Fuzz state machine + fix empty-LLM-output bug ec7552d
p4r5kpftnp-cmd Claude Opus 4.7 commited on
Add Hugging Face Spaces deployment with Groq API c2ebdf5
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on
Add MiniF2F benchmark harness and improve proof agent robustness 8c51ce7
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on
Fix LLM hallucinated imports and slow thinking mode ef4afaa
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on
Add LangChain/LangGraph RAG pipeline for retrieval-augmented proof generation 3ac681e
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on