claim
Functional search over program generation, when leveraged by LLMs, facilitates mathematical discoveries.
Authors
Sources
- The Synergy of Symbolic and Connectionist AI in LLM ... arxiv.org via serper
Referenced by nodes (1)
- Large Language Models concept