FOLIO: Natural Language Reasoning with First-Order Logic. - Simeng Han; Hailey Schoelkopf; Yilun Zhao 001; Zhenting Qi; Martin Riddell; Luke Benson; Lucy Sun; Ekaterina Zubova; Yujie Qiao; Matthew Burtell; David Peng; Jonathan Fan 001; et al. (CoRR, 2022)

When in Rome: A Meta-corpus of Functional Harmony. - Mark Gotham; Gianluca Micchi; Néstor Nápoles López; Malcolm Sailor (Trans. Int. Soc. Music. Inf. Retr., 2023)

FOLIO: Natural Language Reasoning with First-Order Logic. - Simeng Han; Hailey Schoelkopf; Yilun Zhao 001; Zhenting Qi; Martin Riddell; Wenfei Zhou; James Coady; David Peng; Yujie Qiao; Luke Benson; Lucy Sun; Alexander Wardle-Solano; et al. (EMNLP, 2024)

RNBert: Fine-Tuning a Masked Language Model for Roman Numeral Analysis. - Malcolm Sailor (ISMIR, 2024)