News for hackers. Stuff that matters.

A comment on Obituary for Cyc. Parent comment

Re:Obituary for Cyc by IshKebab on Tuesday April 08, 2025 @05:31PM (#43626670)
These guys are trying to combine symbolic reasoning with LLMs somehow: https://www.symbolica.ai/
[ Parent | on HN ]
Re:Obituary for Cyc by specialgoodness on Tuesday April 08, 2025 @05:50PM (#43626820)
check out Imandra's platform for neurosymbolic AI - https://www.imandra.ai/
[ Parent | on HN ]