Tyler R. Josephson

According to our database, Tyler R. Josephson authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Incorporating Background Knowledge in Symbolic Regression using a Computer Algebra System.

Charles Fox, Neil Tran, Nikki Nacion, Samiha Sharlin, Tyler R. Josephson

CoRR, 2023

2022

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

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

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

2020

Symbolic Regression using Mixed-Integer Nonlinear Optimization.

Vernon Austel, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Tyler R. Josephson, Nimrod Megiddo

CoRR, 2020