/self-proving-models

Models That Prove Their Own Correctness

Primary LanguagePythonMIT LicenseMIT

Stargazers