Affiner Réinitialiser tout
Recherches récentes Effacer
Trier par
Pertinence
Date de publication
Emplacement
Type de travail
Employeur/Recruteur
1 – 3 de 3 emplois
At 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 Lean 4, we pioneer a new generation of large
Formel AI combines the creativity of generative AI with the reliability of formal methods. Leveraging verification capabilities such as Lean 4, we pioneer a new generation of LLMs that are reliable, transparent, and cost‑efficient. In Nov
Formel AI offers a founding role at the intersection of AI and formal methods. Join us in building trustworthy LLMs that never hallucinate and cost less to run. About The Role We are looking for an