Small language models trained only on code that seven independent proof systems agree is correct: Dafny, Verus, SPARK, Frama-C, Lean 4, Rocq and F*, each also refuting a deliberately broken copy of every kept program.
Python Updated about 1 month ago 1 commits 2 stars
surge-bot|Mirror: trestoncuzzort/locallm (⭐2)
about 1 month agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Small language models trained only on code that seven independent proof systems agree is correct: Dafny, Verus, SPARK, Frama-C, Lean 4, Rocq and F*, each also refuting a deliberately broken copy of every kept program.
Readme
2 stars