4 points | by asmigulati 15 hours ago
1 comments
I can't say this enough, a well tune deterministic solver always beats an LLM. In most of my experiments, the best the LLM can do is match the solvers results.
I can't say this enough, a well tune deterministic solver always beats an LLM. In most of my experiments, the best the LLM can do is match the solvers results.