23 citations · 39 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
q-bio.QM2023
LGEM: a first-order logic framework for automated improvement of metabolic network models through abduction
Alexander H. Gower, Konstantin Korovin, Daniel Brunnsåker +2
Scientific discovery in biology is difficult due to the complexity of the systems involved and the expense of obtaining high quality experimental data. Automated techniques are a p…
cs.AI2023★ 10 cited
Automated Scientific Discovery: From Equation Discovery to Autonomous Discovery Systems
Stefan Kramer, Mattia Cerrato, Jannis Brugger +2
The paper surveys automated scientific discovery, from equation discovery and symbolic regression to autonomous discovery systems and agents. It discusses the individual approaches…