Tyler R. Josephson

Identifiers

• name variant Tyler R. Josephson 0.60 · backfill

Papers (3)

1. LeanBET: Formally-verified surface area calculations in Lean cs.LO · 2026 · author #4
2. From Knowledge to Action: Outcomes of the 2025 Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry cond-mat.mtrl-sci · 2026 · author #135
3. In Context Learning and Reasoning for Symbolic Regression with Large Language Models cs.CL · 2024 · author #2

Mentions

• 2605.16169 #4 · arxiv_oai · confidence 0.70 Tyler R. Josephson

Frequent Coauthors

• Samiha Sharlin 2 shared papers
• Abbas A. Abdullahi 1 shared papers
• Abdulaziz Ashy 1 shared papers
• Abdullah al Azmi 1 shared papers
• Abdullah Al Hasan 1 shared papers
• Abdul W. Syed 1 shared papers
• Abhijeet Gangan 1 shared papers
• Abhishec Senthilvel 1 shared papers
• Abir Hassan 1 shared papers
• A.B.M. Ashikur Rahman 1 shared papers
• Abubakar D. Shuaibu 1 shared papers
• Adeel Atta 1 shared papers
• Adib Bazgir 1 shared papers
• Adwaith Ravichandran 1 shared papers
• Ahmad D. Abbas 1 shared papers
• Akash Pandey 1 shared papers
• Akhila Ponugoti 1 shared papers
• Akshay Subramanian 1 shared papers
• Alexander Chen 1 shared papers
• Alexander J. Haibel 1 shared papers