5 papers
A dataset of formalised theorem statements from the Annals of Mathematics
Thomas Browning, Katerina Hristova, David Ledvinka +4
Recent progress in autoformalisation of mathematics using AI has been impressive. Measuring this progress requires datasets of formal statements that are both hard and trustworthy.…
Finitely generated positive cones in
Hang Lu Su
We construct, for every even , a positive cone on that is finitely generated as a semigroup, extending the previously known construction for $n = 2…
A toolbox for left-orders of low complexity
Hang Lu Su
This thesis explores how concepts of formal language theory can be used to study left-orderable groups. It analyses the languages formed by their positive cones and demonstrates ho…
Regular left-orders on groups
Yago Antolín, Cristóbal Rivas, Hang Lu Su
A regular left-order on finitely generated group is a total, left-multiplication invariant order on whose corresponding positive cone is the image of a regular language ove…
Formal language convexity in left-orderable groups
Hang Lu Su
We propose a criterion for preserving the regularity of a formal language representation when passing from groups to subgroups. We use this criterion to show that the regularity of…