Scientific Domains
AlabOS: A Python-based Reconfigurable Workflow Management Framework for Autonomous Laboratories
Chemistry & Materials 17
Scaling deep learning for materials discovery
a generative model for inorganic materials design
A Deep Learning Atomistic Model Across Elements, Temperatures and Pressures
An orchestration software to democratize autonomous discovery
An orchestration architecture for chemical self-driving laboratories
Large Language Model-empowered Agent for Reaction Condition Recommendation in Chemical Synthesis
Heuristic Search over a Large Language Model's Knowledge Space using Quantum-Chemical Feedback
Chemistry Agent Connecting Tool-Usage to Science
Unleashing the Power of Large Language Models in Organic Synthesis
autonomous discovery and optimization of multi-step chemistry using a self-driven fluidic lab guided by reinforcement learning
Automated self-optimization, intensification, and scale-up of photocatalysis in flow
An automatic end-to-end chemical synthesis development platform powered by large language models
A mobile robotic chemist
A Multiagent-Driven Robotic AI Chemist Enabling Autonomous Chemical Research On Demand
A dynamic knowledge graph approach to distributed self-driving laboratories
Biology & Medicine 7
Towards Conversational Diagnostic AI
A multimodal generative AI copilot for human pathology
An autonomous AI agent for spatial biology
Automating AI-aided Drug Discovery Programming through LLM Multi-Agent Collaboration
Automatic Evaluation of LLMs on Protocol Planning in Biology
A Multi-Agent Robotic System for Autonomous Biological Experiments
Medical Reasoning Agent for Chest X-ray
Physics & Earth 8
a Physics-Inspired Method for Symbolic Regression
Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl
Discovering faster matrix multiplication algorithms with reinforcement learning
Magnetic control of tokamak plasmas through deep reinforcement learning
LLM and Simulation as Bilevel Optimizers: A New Paradigm to Advance Physical Scientific Discovery
Kolmogorov-Arnold Networks
Towards AI Synthesizing Interdisciplinary Research on Climate Change
A Scientific Large Language Model in Geoscience
Mathematics 20
Olympiad-level formal mathematical reasoning with reinforcement learning
Solving olympiad geometry without human demonstrations
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
Theorem Proving with Retrieval-Augmented Language Models
Large Language Models as Copilots for Theorem Proving in Lean
Lifelong Learning for Formal Theorem Proving
Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Solving Formal Math Problems by Decomposition and Iterative Reflection
A Frontier Model for Open-Source Automated Theorem Proving
Scaffolded data synthesis plus verifier-guided self-correction, shipping open 8B and 32B theorem-proving weights.
Winning AI Mathematical Olympiad pipeline plus the 860k chain-of-thought corpus that became the standard open math dataset.
★ 496
Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
a cross-system benchmark for formal Olympiad-level mathematics
Open Math Large Language Models Toward Verifiable Reasoning
Tao-led crowdsourced Lean formalization settling all 22 million implications between 4694 magma equational laws.
An Open and Evolving Benchmark for Verified Discovery in Mathematics
IMO-level Automated Theorem Proving
Social Science 8
Interactive Simulacra of Human Behavior
Language Models as Scientist and Subjects
LLM Agents Grounded in Self-Reports Enable General-Purpose Simulation of Individuals
Large Language Model-Empowered Agents for Simulating Macroeconomic Activities
Large-Scale Simulation of LLM-Driven Generative Agents Advances Understanding of Human Behaviors and Society
Open Agent Social Interaction Simulations with One Million Agents
General social simulation platform with scripted and free-form modes, supporting up to 100k agents with error correction.
★ 87
Nothing matches those filters.