Samiha Sharlin

Orcid: 0000-0002-6379-9206

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Incorporating background knowledge in symbolic regression using a computer algebra system.

[DOI]

Mach. Learn. Sci. Technol., 2024

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

[DOI]

CoRR, 2024

2022

Formalizing Chemical Theory using the Lean Theorem Prover.

[DOI]

CoRR, 2022