News & Events

Showing 11 - 20 of 138 News Items
article Neukom Fall Scholar Publication

November 17, 2025

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.

article Accepting Applications for Class of 2026 Neukom Fellows

September 10, 2025

Neukom Fellows are interdisciplinary positions for recent PhDs whose research interests or practice cut across traditional disciplinary boundaries, with a computational component—whether as a framing concept for intellectual exploration or an explicit part of the work itself. This is a unique opportunity for early-career scholars whose work bridges fields and pushes the boundaries of computational thinking.