[ACL 2025 Findings] Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts (https://huggingface.co/papers/2402.07625)
-
Updated
Nov 23, 2025 - Python
#
math-ai
Here are 12 public repositories matching this topic...
免費數字驅動的數學模型人工智能 | 為你的數字規律建立數學模型 | C語言免安裝軟體
science data-science ai portable bigdata mathematics regression numerical-methods regression-models mathematical-modelling numerical-computation datadriven statistics-modeling regression-analysis dataanalytics artifical-intelligence mathai chatgpt mathgpt math-ai
-
Updated
May 13, 2024 - Batchfile
[AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)
-
Updated
Oct 2, 2025 - Python
A curated list of resources dedicated to Large Language Models (LLMs) for mathematics, mathematical reasoning, and mathematical problem-solving.
nlp research math theorem-proving mathematics resources survey awesome-list symbolic-math resourcesharing large-language-models llm math-ai
-
Updated
Apr 14, 2025
🚀 Vanguard-8B — Forged for Developers. Perfected for Logic. Elite 7.6B local AI model.
nlp open-source machine-learning ai transformers inference text-generation artificial-intelligence language-model apple-silicon llm math-ai local-ai model-merge coding-ai
-
Updated
Jun 23, 2026
A geometric k-simplex lattice-based vocabulary meant to be utilized by multiple complex variant structurally resonant AI modules.
ai math geometry vocabulary geometric geometric-deep-learning ai-tools geometric-learning math-ai experimental-ai geometric-vocabulary
-
Updated
Jan 27, 2026 - Python
An AI agent for open mathematical problems — honest by design.
python cli reproducible-research theorem-proving mathematics open-problems automated-reasoning local-first ai-agent research-tools llm ai4math math-ai ollama
-
Updated
Sep 22, 2026 - Python
-
Updated
Jun 3, 2023
Code for 'Training and comparison of fine-tuned small language models as math tutoring assistants' (Journal of Emerging Investigators, in press). Unsloth + TRL fine-tuning of 1B/3B/8B Llama tutors.
education research jupyter-notebook artificial-intelligence llama fine-tuning math-education llm math-ai small-language-models unsloth ai-tutor
-
Updated
Sep 30, 2026 - Jupyter Notebook
Ask Physics: Answers to any physics problem powered by a Python LLM that runs on your device
science ai math physics artificial-intelligence free large-language-models llm math-ai super-intelligence ask-physics askphysics
-
Updated
Oct 11, 2026 - Python
FO4 constraint-isolation boundary module for Cayley/local-rigidity arguments; terminal Math-AI question preserved as OPEN_PROBLEM_REQUIRED.
fo4 cayley-graphs math-ai unified-rigidity-framework open-problem finite-variable-logic graph-rigidity proof-hygiene
-
Updated
Jun 23, 2026 - Python
Executable mathematics: typed structures, verifiable morphisms, proofs, figures, and replayable certificates.
geometry nextjs mathematics proof-assistant formal-methods symbolic-reasoning automated-theorem-proving math-ai
-
Updated
Sep 30, 2026 - Python
Add this topic to your repo
To associate your repository with the math-ai topic, visit your repo's landing page and select "manage topics."