| Time | Presenters | Title | Slides |
| Overview Talks | |||
| 9:00 AM | Pat Langley | Opening Remarks | |
| 9:22 AM | Pat Langley | Integrated Systems for Computational Scientific Discovery | |
| 9:45 AM | Lindley Darden and John Moult | Discovering Genetic Disease Mechanisms | |
| 10:07 AM | Peter Clark | Towards Integrated Scientific Discovery Systems | |
| 10:30 AM | Break | ||
| Literature Analysis and Hypothesis Generation | |||
| 11:00 AM | Marissa Radensky | Scideator: LLM-Supported Scientific Idea Generation and Novelty Evaluation | |
| 11:22 AM | Jaimie Murdock and Ed Carroll | Using Reasoning to Evaluate Scientific Discoveries | |
| 11:45 AM | Bohan Lyu, Yadi Cao, Duncan Watson-Parris, Leon Bergen, Taylor Berg-Kirkpatrick, and Rose Yu | Towards Grounding Large Language Models with the Physical World | |
| 12:07 PM | Parshin Shojaee, Kazem Meidani, Shashank Gupta, Amir Farimani, and Chandan Reddy | Equation Discovery via Evolutionary Search with Large Language Models | |
| 12:30 PM | Lunch | ||
| Equation Discovery and Sampling Search | |||
| 2:00 PM | Jonah Miller and Soumya Banerjee | Transforming Classical AI with Modern Machine Learning: BACON and Equation Discovery | |
| 2:22 PM | Jannis Brugger, Mattia Cerrato, David Richter, Daniel Maninger, Mira Mezini, and Stefan Kramer | Neural-Guided Equation Discovery: Episode 2 | |
| 2:45 PM | Jure Brence, Ljupčo Todorovski, and Sašo Džeroski | Bayesian Probabilistic Grammar-Based Equation Discovery | |
| 3:07 PM | Jianke Yang, Nima Dehmamy, Robin Walters, and Rose Yu | Automatic Symmetry Detection: A Pivot for AI-Guided Scientific Discovery | |
| 3:30 PM | Break | ||
| 4:00 PM | Poster Session | ||
| 6:00 PM | Joint Symposia Reception | ||
| 7:00 PM | Day Ends | ||
| Time | Presenters | Title | Slides |
| Experimentation and Discovery I | |||
| 9:00 AM | Benji Maruyama | Autonomous Experimentation for Materials Science | |
| 9:22 AM | Stefan Kramer, Tristan Schausten-Diehl, Jannis Brugger, Xiaomei Li, Sajjad Shumaly, Ru ̈diger Berger, Hans Ju ̈rgen Butt, Ross King, and Mira Mezini | Robot Scientist for Droplet Friction Experiments | |
| 9:45 AM | Yexiang Xue | Scientific Process Discovery Using Scientific Approaches | |
| 10:07 AM | Lun Ai, Shi-Shun Liang, Stephen Muggleton, and Geoff Baldwin | Active Abductive Learning of Multigenic Interactions from High-Throughput Repression Screening Data | |
| 10:30 AM | Break | ||
| Experimentation and Discovery II | |||
| 11:00 AM | Sebastian Musslick, Daniel Weinhardt, John Gerrard Holland, Younes Strittmatter | Closed-Loop Scientific Discovery in the Behavioral Sciences | |
| 11:22 AM | Michael Shalyt, Uri Seligmann, Rotem Elimelech, Shachar Weinbaum, Rotem Kalisch, Tomer Raz, Hila Barkan, Itay Beit Halachmi, Sheve Leibtag, Ido Kaminer | Ramanujan Machine: Unsupervised Formula Conjecture Generation | |
| 11:45 AM | Tsuyoshi Murata | Automated Scientific Discovery in Plane Geometry | |
| 12:07 PM | Yu-Cong He and Wang-Zhou Dai | Application of Abduction in Energy Functional Discovery for Density Functional Theory | |
| 12:30 PM | Lunch | ||
| Challenges / Discussion | |||
| 2:00 PM | Benjamin Jantzen | Six Challenges for Fully Autonomous Scientific Discovery | |
| 2:22 PM | Discussion: Challenges for the Discovery Community | ||
| 3:30 PM | Break | ||
| Variable Invention and Discovery I | |||
| 4:00 PM | Youngsoo Choi, Xiaolong He, Seung Whan Chung, Keo Springer, April Tran, David Bortz, and Siu Wun Cheung | Latent Space Dynamics Identification | |
| 4:22 PM | Xuping Xie | Physics integrated Latent Space Dynamics Learning for Stiff Collisional-Radiative Models | |
| 4:45 PM | Samuel Moore, Brian Mann, and Boyuan Chen | Learning Low-Dimensional Latent Linear Dynamics | |
| 5:07 PM | Boris Krämer, Albani Olivieri, and Gleb Pogudin | Discovering Quadratic Representations of PDEs | |
| 6:00 PM | Plenary Session | ||
| 7:00 PM | Day Ends | ||
| Time | Presenters | Title | Slides |
| Variations on Equation Discovery | |||
| 9:00 AM | Jannis Brugger, Viktor Pfanschilling, Mira Mezini, and Stefan Kramer | Residuals for Equation Discovery | |
| 9:22 AM | Sebastian Mežnar, Sašo Džeroski, and Ljupčo Todorovski | Quantifying Expression Dissimilarity | |
| 9:45 AM | Nora Heitzman-Breen and David Bortz | Structural Identifiability of Weak-Form ODE Systems | |
| 10:07 AM | Sebastijan Dumancic and Reuben Gardos Reid | Computational Discovery with Formal Languages and Synthesis | |
| 10:30 AM | Break | ||
| 11:00 AM | Variable Invention and Discovery II / Closing Discussion | ||
| 11:00 AM | Kuang Huang, Dong Heon Cho, and Boyuan Chen | Automatic Discovery of Continuous Dynamics from Videos | |
| 11:22 AM | Paolo Conti, Jonas Kneifl, Andrea Manzoni, Attilio Frangi, Jörg Fehr, Steven Brunton, and Nathan Kutz | VENI, VINDy, VICI: A Generative Framework for Discovering Dynamics | |
| 11:45 AM | Closing Discussion | ||
| 12:30 PM | Symposium Ends | ||