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…
AI Research
Explore AI Research 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 AI Research.
All articles (98)People (22)Large Language Models (12)Open Source AI (10)AI Safety (9)Anthropic (9)AI Agents (8)AI Companies (8)AI for Science (8)Machine Learning (7)Reinforcement Learning (7)Research Organizations (7)Mathematics (6)AI Benchmarks (5)AI History (5)Artificial Intelligence (5)Computer Vision (5)Meta AI (5)AI Tools & Products (4)Deep Learning (4)Google (4)Google DeepMind (4)Interpretability (4)OpenAI (4)AI Alignment (3)AI Infrastructure (3)AI Models (3)Neural Networks (3)AI Ethics (2)AI Policy & Regulation (2)Data & Datasets (2)Developer Tools (2)Generative AI (2)Image Generation (2)Model Evaluation (2)Multimodal AI (2)Natural Language Processing (2)Reasoning Models (2)AI Code Generation (1)AI Incidents & Controversies (1)AI Inference (1)ChatGPT (1)Computer Science (1)Data Science (1)Healthcare AI (1)Information Retrieval (1)NVIDIA (1)Training & Optimization (1)Universities (1)World Models (1)
Showing 1-2 of 2 articles
OpenResearch
OpenResearch is an open-source workspace for coordinating coding agents during computational research.