Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane. - Adam St. Arnaud; Piotr Rudnicki (Formaliz. Math., 2013)

Multiple System Combination for Transliteration. - Garrett Nicolai; Bradley Hauer; Mohammad Salameh; Adam St. Arnaud; Ying Xu 003; Lei Yao; Grzegorz Kondrak (NEWS@ACL, 2015)

Morphological Reinflection via Discriminative String Transduction. - Garrett Nicolai; Bradley Hauer; Adam St. Arnaud; Grzegorz Kondrak (SIGMORPHON, 2016)

Identifying Cognate Sets Across Dictionaries of Related Languages. - Adam St. Arnaud; David Beck; Grzegorz Kondrak (EMNLP, 2017)

Verde: Verification via Refereed Delegation for Machine Learning Programs. - Arasu Arun; Adam St. Arnaud; Alexey Titov; Brian Wilcox; Viktor Kolobaric; Marc Brinkmann; Oguzhan Ersoy; Ben Fielding; Joseph Bonneau (CoRR, 2025)