https://gasstationmanager.github.io/
Lean4AI @ Gas Station Secret Lab | Using interactive theorem provers like Lean to tackle the great...
Using interactive theorem provers like Lean to tackle the great challenges of generative AI: Safety and Hallucination.