Adam St. Arnaud

According to our database, Adam St. Arnaud authored at least 5 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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, February, 2025

2017

Identifying Cognate Sets Across Dictionaries of Related Languages.

Adam St. Arnaud, David Beck, Grzegorz Kondrak

Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017

2016

Morphological Reinflection via Discriminative String Transduction.

Garrett Nicolai, Bradley Hauer, Adam St. Arnaud, Grzegorz Kondrak

Proceedings of the 14th SIGMORPHON Workshop on Computational Research in Phonetics, 2016

2015

Multiple System Combination for Transliteration.

Garrett Nicolai, Bradley Hauer, Mohammad Salameh, Adam St. Arnaud, Ying Xu, Lei Yao, Grzegorz Kondrak

Proceedings of the Fifth Named Entity Workshop, 2015

2013

Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane.

Adam St. Arnaud, Piotr Rudnicki

Formaliz. Math., 2013