Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / tests /test_retriever_fuzz.py

Commit History

Swap MiniLM retriever for LeanDojo's ByT5 premise encoder

d05440d

p4r5kpftnp-cmd commited on Jun 4

Add CI/CD: GitHub Actions workflow + ruff config

6cf7e7c

p4r5kpftnp-cmd commited on May 21

Fuzz retriever query handling (fix missing input guards)

1c701bb

p4r5kpftnp-cmd Claude Opus 4.7 commited on May 19