Samiha Sharlin

According to our database, Samiha Sharlin authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

In Context Learning and Reasoning for Symbolic Regression with Large Language Models.

Samiha Sharlin, Tyler R. Josephson

CoRR, 2024

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