NuminaMath
NuminaMath is a family of openly licensed competition-mathematics resources developed by the non-profit Project Numina, spanning the largest public dataset of competition math problems and solutions, a set of…
Mathematics
Explore Mathematics through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Open Source AI
Articles that also belong to these categories. Counts cover all of Mathematics.
All articles (91)Machine Learning (48)AI for Science (16)Statistics (14)Deep Learning (11)AI Research (10)Training & Optimization (9)OpenAI (6)Computer Science (5)Google DeepMind (5)Reinforcement Learning (5)AI Benchmarks (4)Algorithms (4)AI Ethics (3)Generative AI (3)Large Language Models (3)Natural Language Processing (3)Neural Networks (3)Open Source AI (3)AI Agents (2)AI Tools & Products (2)Chinese AI (2)Developer Tools (2)Information Retrieval (2)People (2)Programming Languages (2)AI Companies (1)AI Hardware (1)AI History (1)AI Incidents & Controversies (1)AI Infrastructure (1)AI Policy & Regulation (1)Anthropic (1)Artificial Intelligence (1)ChatGPT (1)Computer Vision (1)Data & Datasets (1)Google (1)Interpretability (1)Model Evaluation (1)Reasoning Models (1)Research Organizations (1)Robotics (1)Software Development (1)
Showing 1-3 of 3 articles
Qwen2.5-Math
Qwen2.5-Math is a family of mathematics-specialized large language models developed by the Qwen team at Alibaba Cloud and released in September 2024.
Stacks Project in Lean
Stacks Project in Lean is an open-source library that translates material from the Stacks Project into machine-checkable mathematics in Lean.