Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
About
Charles Pert’s academic portfolio
Posts
publications
RNN Generalization to Omega-Regular Languages
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
Beyond Fixed Tasks: Unsupervised Environment Design for Task-Level Pairs
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
Length Generalization with Log-Depth Recurrent Units
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
Transition‑Based Acceptance for ω‑Regular Expression Synthesis
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