Symbolic Regression using Mixed-Integer Nonlinear Optimization. - Vernon Austel; Cristina Cornelio; Sanjeeb Dash; Joao Goncalves; Lior Horesh; Tyler R. Josephson; Nimrod Megiddo (CoRR, 2020)

Integration of Data and Theory for Accelerated Derivable Symbolic Discovery. - Cristina Cornelio; Sanjeeb Dash; Vernon Austel; Tyler R. Josephson; Joao Goncalves; Kenneth L. Clarkson; Nimrod Megiddo; Bachir El Khadir; Lior Horesh (CoRR, 2021)

Adsorption of furan, hexanoic acid, and alkanes in a hierarchical zeolite at reaction conditions: Insights from molecular simulations. - Tyler R. Josephson; Paul J. Dauenhauer; Michael Tsapatsis; J. Ilja Siepmann (J. Comput. Sci., 2021)

Formalizing Chemical Theory using the Lean Theorem Prover. - Maxwell P. Bobbin; Samiha Sharlin; Parivash Feyzishendi; An Hong Dang; Catherine M. Wraback; Tyler R. Josephson (CoRR, 2022)

Incorporating Background Knowledge in Symbolic Regression using a Computer Algebra System. - Charles Fox; Neil Tran; Nikki Nacion; Samiha Sharlin; Tyler R. Josephson (CoRR, 2023)

In Context Learning and Reasoning for Symbolic Regression with Large Language Models. - Samiha Sharlin; Tyler R. Josephson (CoRR, 2024)

Reflections from the 2024 Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry. - Yoel Zimmermann; Adib Bazgir; Zartashia Afzal; Fariha Agbere; Qianxiang Ai; Nawaf Alampara; Alexander Al-Feghali; Mehrad Ansari; Dmytro Antypov; Amro Aswad; Jiaru Bai; Viktoriia Baibakova; et al. (CoRR, 2024)

A Community-driven vision for a new Knowledge Resource for AI. - Vinay K. Chaudhri; Chaitan Baru; Brandon Bennett; Mehul Bhatt; Darion Cassel; Anthony G. Cohn 001; Rina Dechter; Esra Erdem 001; David A. Ferrucci; Kenneth D. Forbus; Gregory Gelfond; Michael R. Genesereth; et al. (CoRR, 2025)