Comment by IshKebab 1 year ago These guys are trying to combine symbolic reasoning with LLMs somehow: https://www.symbolica.ai/ 1 comment IshKebab Reply specialgoodness 1 year ago check out Imandra's platform for neurosymbolic AI - https://www.imandra.ai/
specialgoodness 1 year ago check out Imandra's platform for neurosymbolic AI - https://www.imandra.ai/
check out Imandra's platform for neurosymbolic AI - https://www.imandra.ai/