Blog
Notes from the people building Chelis.
-
Does proof beat fuzzing? Testing Chelis on FPBench
We planted bugs in 103 FPBench kernels and compared Chelis' proof mode with fuzzing alone, at default settings and at equal sampling budgets.
By Gerasimos Lampouras
-
Chelis: A Tensor Language Agents Can Write and Prove
Chelis is a language for numerical code written by AI coding agents, with shapes and precision in its types and a prover built in.
By Jeff Smith