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)