claim
Functional search over program generation, when leveraged by LLMs, facilitates mathematical discoveries.

Authors

Sources

Referenced by nodes (1)