4 ms·I wonder how someone will integrate symbolic reasoning with LLMs, or if it will be possible.by mejutoco 3y agoI wonder how someone will integrate symbolic reasoning with LLMs, or if it will be possible.Malp 3y agoDitto, this seems to have some parallels to the neurosymbolic ideas being explored by Lab V2 at ASUnimski 3y agoThis is what we're doing. I think it's not only possible, but also necessary for applications beyond trial-and-error generation.1024core 3y agoLEAN