Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / scripts

Commit History

Repo cleanup: dead code out, test isolation fix, real README

16fb4fc

p4r5kpftnp-cmd commited on 17 days ago

Swap MiniLM retriever for LeanDojo's ByT5 premise encoder

d05440d

p4r5kpftnp-cmd commited on 25 days ago

Add CI/CD: GitHub Actions workflow + ruff config

6cf7e7c

p4r5kpftnp-cmd commited on May 21

benchmark.py: support Claude API + local-files mode

51bfe3e

p4r5kpftnp-cmd commited on May 19

Add MiniF2F benchmark harness and improve proof agent robustness

8c51ce7

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 15

Add LangChain/LangGraph RAG pipeline for retrieval-augmented proof generation

3ac681e

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 14