Aditya Thimmaiah

Identifiers

• name variant Aditya Thimmaiah 0.60 · backfill

Papers (1)

1. LLMs Lean on Priors, Not Programming Language Semantics cs.PL · 2025 · author #1

Mentions

• 2510.03415 #1 · arxiv_oai · confidence 0.70 Aditya Thimmaiah

Frequent Coauthors

• Jayanth Srinivasa 1 shared papers
• Jiyang Zhang 1 shared papers
• Junyi Jessy Li 1 shared papers
• Milos Gligoric 1 shared papers