12 ms·
With LLMs that even might be automated
by practice9 2y ago
With LLMs that even might be automated
- ben_w 2y agoConstraint solvers would be a better choice, IMO. LLMs may help convert the text into a form for the constraint solvers, but they're not the tool I'd use for actually connecting the dots.