| Reasoning with Natural Language Explanations | Oct 5, 2024 | Natural Language Inferencescientific discovery | —Unverified | 0 |
| LGEM^+: a first-order logic framework for automated improvement of metabolic network models through abduction | Jun 9, 2023 | scientific discovery | CodeCode Available | 0 |
| Leveraging large language models for nano synthesis mechanism explanation: solid foundations or mere conjectures? | Jul 12, 2024 | Logical ReasoningMultiple-choice | CodeCode Available | 0 |
| Learning to discover: expressive Gaussian mixture models for multi-dimensional simulation and parameter inference in the physical sciences | Aug 25, 2021 | scientific discovery | CodeCode Available | 0 |
| Physics-tailored machine learning reveals unexpected physics in dusty plasmas | Oct 8, 2023 | Physical Intuitionscientific discovery | CodeCode Available | 0 |
| KnowledgeShovel: An AI-in-the-Loop Document Annotation System for Scientific Knowledge Base Construction | Oct 6, 2022 | Knowledge Base Constructionscientific discovery | CodeCode Available | 0 |
| Smoke and Mirrors in Causal Downstream Tasks | May 27, 2024 | Causal InferenceRepresentation Learning | CodeCode Available | 0 |
| Interpretable Scientific Discovery with Symbolic Regression: A Review | Nov 20, 2022 | Model Discoveryregression | CodeCode Available | 0 |
| Matter-of-Fact: A Benchmark for Verifying the Feasibility of Literature-Supported Claims in Materials Science | Jun 4, 2025 | ArticlesCode Generation | CodeCode Available | 0 |
| μ-Bench: A Vision-Language Benchmark for Microscopy Understanding | Jul 1, 2024 | Cell DetectionClassification | CodeCode Available | 0 |
