Chelis blogNotes from the people building Chelis.https://chelis.ch/Does proof beat fuzzing? Testing Chelis on FPBenchhttps://chelis.ch/blog/proof-vs-fuzzing/https://chelis.ch/blog/proof-vs-fuzzing/We planted bugs in 103 FPBench kernels and compared Chelis' proof mode with fuzzing alone, at default settings and at equal sampling budgets.Tue, 27 Oct 2026 00:00:00 GMTGerasimos LampourasChelis: A Tensor Language Agents Can Write and Provehttps://chelis.ch/blog/launch/https://chelis.ch/blog/launch/Chelis is a language for numerical code written by AI coding agents, with shapes and precision in its types and a prover built in.Tue, 06 Oct 2026 00:00:00 GMTJeff Smith