AxiomProver
AxiomProver is an automated theorem-proving system developed by Axiom Math. The company describes it as an autonomous multi-agent system for Lean 4 that translates mathematical tasks into formal statements and…
Mathematics
Explore Mathematics through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Developer Tools
Articles that also belong to these categories. Counts cover all of Mathematics.
All articles (82)Machine Learning (48)Statistics (14)Deep Learning (11)AI for Science (10)Training & Optimization (9)AI Research (6)Google DeepMind (5)Reinforcement Learning (5)AI Benchmarks (4)Computer Science (4)Algorithms (3)Generative AI (3)Large Language Models (3)Natural Language Processing (3)Neural Networks (3)AI Agents (2)AI Ethics (2)AI Tools & Products (2)Chinese AI (2)Developer Tools (2)Information Retrieval (2)Open Source AI (2)People (2)Programming Languages (2)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)OpenAI (1)Reasoning Models (1)Robotics (1)Software Development (1)
Showing 1-2 of 2 articles
Prove2Me
Prove2Me is an open collaborative platform for formalizing mathematics in Lean 4, built by a group led by Tianyi Peng at Columbia University.