Tyler R. Josephson

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Starting Points

Symbolic Regression

Nonlinear Optimization

Top Venues

J. Comput. Sci.

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)
Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler R. Josephson, Joao Goncalves, Kenneth L. Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh
Integration of Data and Theory for Accelerated Derivable Symbolic Discovery. CoRR (2021)
Tyler R. Josephson, Paul J. Dauenhauer, Michael Tsapatsis, J. Ilja Siepmann
Adsorption of furan, hexanoic acid, and alkanes in a hierarchical zeolite at reaction conditions: Insights from molecular simulations. J. Comput. Sci. 48 (2021)
Vernon Austel, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Tyler R. Josephson, Nimrod Megiddo
Symbolic Regression using Mixed-Integer Nonlinear Optimization. CoRR (2020)