4 ms·
This requires arithmetics and constraint solving skills that are wildly out of reach to any pure-LLM platform. At the very least you would need interfacing with
by lou1306 1y ago
This requires arithmetics and constraint solving skills that are wildly out of reach to any pure-LLM platform. At the very least you would need interfacing with a real SMT or LP solver to get something that fits the bill.
- gadders 1y agoLooks like we're stuck with coding assistants and Studio Ghibli pics then :-)