Aryan Sharma

Identifiers

• name variant Aryan Sharma 0.60 · backfill

Papers (4)

1. Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization cs.LG · 2026 · author #3
2. Dissociating Decodability and Causal Use in Bracket-Sequence Transformers cs.CL · 2026 · author #1
3. H-Probes: Extracting Hierarchical Structures From Latent Representations of Language Models cs.CL · 2026 · author #2
4. Quantifying Global Networks of Exchange through the Louvain Method cs.SI · 2025 · author #1

Mentions

• 2604.23135 #3 · arxiv_oai · confidence 0.70 Aryan Sharma

Frequent Coauthors

• Cutter Dawes 2 shared papers
• Shivam Raval 2 shared papers
• Angelos Ioannis Lagos 1 shared papers
• Anna Sisk 1 shared papers
• Christina Chu 1 shared papers
• Ethan Lou 1 shared papers
• Jaden Li 1 shared papers
• William Feng 1 shared papers