3 ms·
"Symbolic" AI is very much used wherever you have theorem provers e.g. z3, no?
by PartiallyTyped 3y ago
"Symbolic" AI is very much used wherever you have theorem provers e.g. z3, no?
- tensor 3y agoYes, and closely related are various forms of constraint solvers, things that LLMS are still fantastically poor at.
- PartiallyTyped 3y agoSMT Solvers are used extensively in certain parts of the industry, especially when working in security-mindful fields.