zlacker
[parent]
[thread]
1 comments
1. IshKeb+(OP)
[view]
[source]
2025-04-08 21:31:18
These guys are trying to combine symbolic reasoning with LLMs somehow:
https://www.symbolica.ai/
replies(1):
>>specia+q2
◧
2. specia+q2
[view]
[source]
2025-04-08 21:50:58
>>IshKeb+(OP)
check out Imandra's platform for neurosymbolic AI -
https://www.imandra.ai/
[go to top]