{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.


harmonic.fun

{c}
{tag=British company}
{tag=Neuro-symbolic AI}

https://www.literal-labs.ai/


Literal Labs

{c}
{tag=British company}
{tag=Neuro-symbolic AI}


Rainbird Technologies

{c}
{tag=French company}
{tag=Neuro-symbolic AI}

https://www.symbolica.ai/


Symbolica

{c}

https://researcher.watson.ibm.com/researcher/view_group.php?id=10518

An <IBM> made/pushed term, but that matches <Ciro Santilli>'s general view of how we should move forward <AGI>.

Ciro's motivation/push for this can be seen e.g. at: <Ciro's 2D reinforcement learning games>.


Ciro Santilli @cirosantilli 37

 Tagged: Neuro-symbolic AI