Lean 4 pipeline that extracts a canonical semantic intermediate representation from formal mathematics and tests whether training language models on it helps. Directs agentic AI coding workflows; prediction-era results withdrawn under a documented reset notice.
Python Updated 25 days ago 1 commits
surge-bot|Mirror: philipdallen/Maith (⭐0)
25 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Lean 4 pipeline that extracts a canonical semantic intermediate representation from formal mathematics and tests whether training language models on it helps. Directs agentic AI coding workflows; prediction-era results withdrawn under a documented reset notice.
Readme