algorithm dispatch

SmartSolve demonstrates how an LLM transforms benchmarks into verifiable rules for dynamic algorithm dispatch, with Pareto-optimal selections and validation prior to production.