We are delighted to announce several research achievements in Spring 2025:

Conference Papers:

• LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming accepted to IJCAI 2025 (BK21 Top Conference)
• Trajectory Imputation in Multi-Agent Sports with Derivative-Accumulating Self-Ensemble accepted to ECML PKDD 2025

Journal Papers:

• SplitRegex: Efficient Regex Synthesis by Neural Example Splitting published in Journal of Automata, Languages and Combinatorics, 2025
• Existential and Universal Width of Alternating Finite Automata published in Information and Computation, 2025

Congratulations to all authors and collaborators!