Ethan Lou

Identifiers

• name variant Ethan Lou 0.60 · backfill

Papers (1)

1. Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization cs.LG · 2026 · author #2

Mentions

• 2604.23135 #2 · arxiv_oai · confidence 0.70 Ethan Lou

Frequent Coauthors

• Aryan Sharma 1 shared papers
• William Feng 1 shared papers