Neukom Fall Scholar Publication
Neukom Scholar Elisaveta (Lisa) Samoylov '26 at Dartmouth, paper "Modeling Tactics as Operators: Effect-Grounded Representations for Lean Theorem Proving" (with co-author Soroush Vosoughi) has been accepted to the 3rd workshop on Mathematical Natural Language Processing (MathNLP 2025) at EMNLP in Suzhou, China! Additionally it was nominated for an oral presentation.










