|
|
|
|
|
|
by trenchgun
822 days 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). |
|
|