5 citations · 5 across the 3 of their papers we have counts for
3 papers
Formalizing dimensional analysis using the Lean theorem prover
Maxwell P. Bobbin, Colin Jones, John Velkey +1
Dimensional analysis is fundamental to the formulation and validation of physical laws, ensuring that equations are dimensionally homogeneous and scientifically meaningful. In this…
Formal Verification of Isothermal Chemical Reactors
Parivash Feyzishendi, Sophia Hamer, Jinyu Huang +1
Chemical reactors are dynamic systems that can be described by systems of ordinary differential equations (ODEs). Reactor safety, regulatory compliance, and economics depend on whe…
Reflections from the 2024 Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry
Yoel Zimmermann, Adib Bazgir, Zartashia Afzal +141
Here, we present the outcomes from the second Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry, which engaged participants across global hyb…