 harmonic.fun (source code)

by Ciro Santilli (@cirosantilli, 37)

= harmonic.fun
{c}
{tag=Neuro-symbolic AI}
{wiki}

https://harmonic.fun/

They seem to do <autoformalization>, <automated theorem proving> and <code generation>, and they use <Lean> a lot. Sounds fun.

 Back to article page