claim
Functional search over program generation, leveraging large language models, facilitates mathematical discoveries.

Authors

Sources

Referenced by nodes (1)