4 points | by asmigulati 16 hours ago 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.