3 ms·
I can't imagine there would be any success with an LLM that isn't already known about via Satisfiability Modulo Theory.
by darksaints 3y ago
I can't imagine there would be any success with an LLM that isn't already known about via Satisfiability Modulo Theory.
- CJefferson 3y agoI use SMT, but I can’t imagine how it would suggest good names for variables?