Published in Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY), 2025
Recommended citation: Charles Pert, Dalal Alrajeh, and Alessandra Russo. (2025). "RNN Generalization to Omega-Regular Languages." 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2025),.
Download Paper | Download Bibtex
Published in Association for the Advancement of Artificial Intelligence (AAAI), 2026
Recommended citation: Daniel Furelos-Blanco, Charles Pert, Frederik Kelbel, Alex F. Spies, Alessandra Russo, and Michael Dennis. (2026). "Beyond Fixed Tasks: Unsupervised Environment Design for Task-Level Pairs." Association for the Advancement of Artificial Intelligence (AAAI).
Download Paper | Download Bibtex
Published in arXiv preprint, 2026
Recommended citation: Charles Pert, Dalal Alrajeh, and Alessandra Russo. (2026). "Length Generalization with Log-Depth Recurrent Units." arXiv preprint.
Download Paper | Download Bibtex
Published in Formal Aspects of Computing (FAC), 2026
Recommended citation: Charles Pert, Dalal Alrajeh, and Alessandra Russo. (2026). "Transition‑Based Acceptance for ω‑Regular Expression Synthesis." Formal Aspects of Computing (FAC).
Download Paper | Download Bibtex