Samiha Sharlin

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Automated Deduction

Higher Order Logic

Top Venues

Publications

Charles Fox, Neil Tran, Nikki Nacion, Samiha Sharlin, Tyler R. Josephson
Incorporating Background Knowledge in Symbolic Regression using a Computer Algebra System. CoRR (2023)
Maxwell P. Bobbin, Samiha Sharlin, Parivash Feyzishendi, An Hong Dang, Catherine M. Wraback, Tyler R. Josephson
Formalizing Chemical Theory using the Lean Theorem Prover. CoRR (2022)