SOTAVerified

scientific discovery

Papers

Showing 101125 of 464 papers

TitleStatusHype
Renormalized Mutual Information for Artificial Scientific DiscoveryCode1
Symmetry-Informed Geometric Representation for Molecules, Proteins, and Crystalline MaterialsCode1
BLADE: Benchmarking Language Model Agents for Data-Driven ScienceCode1
AbductionRules: Training Transformers to Explain Unexpected InputsCode1
K-Paths: Reasoning over Graph Paths for Drug Repurposing and Drug Interaction PredictionCode1
MolXPT: Wrapping Molecules with Text for Generative Pre-trainingCode0
Closed-Form Interpretation of Neural Network Classifiers with Symbolic GradientsCode0
MOOSE-Chem3: Toward Experiment-Guided Hypothesis Ranking via Simulated Experimental FeedbackCode0
ChemNER: Fine-Grained Chemistry Named Entity Recognition with Ontology-Guided Distant SupervisionCode0
μ-Bench: A Vision-Language Benchmark for Microscopy UnderstandingCode0
APACE: AlphaFold2 and advanced computing as a service for accelerated discovery in biophysicsCode0
Causality Pursuit from Heterogeneous Environments via Neural Adversarial Invariance LearningCode0
Capturing Structure Implicitly from Time-Series having Limited DataCode0
Can Transformers Do Enumerative Geometry?Code0
An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical DiscoveryCode0
Unsupervised Machine Learning for Scientific Discovery: Workflow and Best PracticesCode0
LGEM^+: a first-order logic framework for automated improvement of metabolic network models through abductionCode0
Matter-of-Fact: A Benchmark for Verifying the Feasibility of Literature-Supported Claims in Materials ScienceCode0
Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait SketchingCode0
Bridging AI and Science: Implications from a Large-Scale Literature Analysis of AI4ScienceCode0
Physics-tailored machine learning reveals unexpected physics in dusty plasmasCode0
ALINE: Joint Amortization for Bayesian Inference and Active Data AcquisitionCode0
BoxingGym: Benchmarking Progress in Automated Experimental Design and Model DiscoveryCode0
Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network modelsCode0
KnowledgeShovel: An AI-in-the-Loop Document Annotation System for Scientific Knowledge Base ConstructionCode0
Show:102550
← PrevPage 5 of 19Next →

No leaderboard results yet.