Formel AI At [Formel AI](https://formel.ai/), we combine the creativity of generative AI with the reliability of mathematical formal methods. By leveraging the verification capabilities of formal methods, such as the Lean 4, we pioneer a new generation of Large Language Models (LLMs) that are reliab