Re:Quiet-STaR: Language Models Can Teach Themselves to Think...
by trenchgun on Friday March 15, 2024 @12:12PM
(#39717378)
>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).
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).