Skip to content
#

alphaevolve

Here are 19 public repositories matching this topic...

Companion page for "Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery." A curated four-axis index covering MWPs, LLMs and reasoning models, multimodal geometry, Lean theorem proving, and verified discovery (FunSearch, AlphaEvolve, Erdős problems).

  • Updated Jun 9, 2026

Improve this page

Add a description, image, and links to the alphaevolve topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the alphaevolve topic, visit your repo's landing page and select "manage topics."

Learn more