aimo

Star

Here are 2 public repositories matching this topic...

RUC-NLPIR / Search-o1

Star

🔍 Search-o1: Agentic Search-Enhanced Large Reasoning Models [EMNLP 2025]

math livecode amc reasoning r1 rag qwq aimo o1 gpqa

Updated Nov 17, 2025
Python

danielsolo707 / AlphaMath

Star

ALPHA-MATH: offline System-2 math agent — Qwen2.5-Math writes Python/SymPy, sandbox executes, self-repair + majority vote (AIMO-style, no external APIs)

agent open-source portfolio ai mathematics transformers kaggle sympy tool-use aimo llm qwen

Updated Aug 21, 2026
Python

Improve this page

Add a description, image, and links to the aimo 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 aimo topic, visit your repo's landing page and select "manage topics."

Learn more