Blog
Notes from the people building Chelis.
-
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
Notes from the people building Chelis.
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