3 ms·
>reasoning requires deterministic symbolic manipulation for accuracy No, that is automation. Automated reasoning is a thing, indeed. And I can kind of see a wo
by trenchgun 3y ago
>reasoning requires deterministic symbolic manipulation for accuracy
No, that is automation. Automated reasoning is a thing, indeed. And I can kind of see a world where there is a system which uses LLM for creative thinking, augmented with automated reasoning systems (think datalog, egg, SMT-solver, probabilistic model checking etc).