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 theorem prover, we pioneer a new generation of Large Language Models (LLMs) that are reliable, transparent, and cost-effic... Read more