2 papers
cs.LG2026
Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization
William Feng, Ethan Lou, Aryan Sharma
Lean 4 autoformalization has become increasingly popular in recent years, with frontier language models and open-weight autoformalizers now producing valid formalizations of mathem…
cs.LG2024
Revisiting the Necessity of Graph Learning and Common Graph Benchmarks
Isay Katsman, Ethan Lou, Anna Gilbert
Graph machine learning has enjoyed a meteoric rise in popularity since the introduction of deep learning in graph contexts. This is no surprise due to the ubiquity of graph data in…