| Can Transformers Do Enumerative Geometry? | Aug 27, 2024 | Activation Function SynthesisCausal Inference | CodeCode Available | 0 | 5 |
| An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery | Jun 26, 2024 | scientific discovery | CodeCode Available | 0 | 5 |
| Leveraging large language models for nano synthesis mechanism explanation: solid foundations or mere conjectures? | Jul 12, 2024 | Logical ReasoningMultiple-choice | CodeCode Available | 0 | 5 |
| Unsupervised Machine Learning for Scientific Discovery: Workflow and Best Practices | Jun 5, 2025 | Astronomyscientific discovery | CodeCode Available | 0 | 5 |
| 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 | 5 |
| LGEM^+: a first-order logic framework for automated improvement of metabolic network models through abduction | Jun 9, 2023 | scientific discovery | CodeCode Available | 0 | 5 |
| Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching | Sep 2, 2024 | Active Learningscientific discovery | CodeCode Available | 0 | 5 |
| Bridging AI and Science: Implications from a Large-Scale Literature Analysis of AI4Science | Nov 27, 2024 | Link Predictionscientific discovery | CodeCode Available | 0 | 5 |
| ALINE: Joint Amortization for Bayesian Inference and Active Data Acquisition | Jun 8, 2025 | Active LearningBayesian Inference | CodeCode Available | 0 | 5 |
| BoxingGym: Benchmarking Progress in Automated Experimental Design and Model Discovery | Jan 2, 2025 | BenchmarkingExperimental Design | CodeCode Available | 0 | 5 |
