2 papers
cs.CL2024
A Compositional Typed Semantics for Universal Dependencies
Laurestine Bradford, Timothy John O'Donnell, Siva Reddy
Languages may encode similar meanings using different sentence structures. This makes it a challenge to provide a single set of formal rules that can derive meanings from sentences…
math.CA2022
Large subsets of Euclidean space avoiding infinite arithmetic progressions
Laurestine Bradford, Hannah Kohut, Yuveshen Mooroogen
It is known that if a subset of has positive Lebesgue measure, then it contains arbitrarily long finite arithmetic progressions. We prove that this result does not ext…