Absolutely not. The search space is basically infinite.
Right, but without Lean the "insert unlimited sampling" doesn't work.
alt Hacker News
Right, but without Lean the "insert unlimited sampling" doesn't work.