3 ms·

These guys are trying to combine symbolic reasoning with LLMs somehow: https://www.symbolica.ai/ https://www.symbolica.ai/

• specialgoodness 2y ago
  check out Imandra's platform for neurosymbolic AI - https://www.imandra.ai/ https://www.imandra.ai/