- Ball Trajectory Inference from Multi-Agent Sports Contexts Using Set Transformer and Hierarchical Bi-LSTM, KDD 2023, 2023. 8.
- Automated Grading of Regular Expressions, ESOP 2023, 2023. 4.
- Deciding path size of nondeterministic (and input-driven) pushdown automata, Theoretical Computer Science, 2023. 1.
- Simon’s Congruence Pattern Matching, ISAAC 2022, 2022. 12.
- SoccerCPD: Formation and role change-point detection in soccer matches from spatiotemporal tracking data, KDD 2022, 2022. 8.
- A Deep Learning Approach for Fatigue Prediction in Sports Using GPS Data and Rate of Perceived Exertion, IEEE Access, 2022. 8.
- RepCoder: An Automated Program Repair Framework for Probability-Based Program Synthesis, SAC 2022, 2022. 4.
- Modular Reinforcement Learning for Playing the Game of Tron, IEEE Access, 2022. 4.
- Reachability Problems in Low-dimensional Nondeterministic Polynomial Maps over IntegersInformation and Computation, 2021. 12.
- MultiFix: Learning to Repair Multiple Errors by Optimal Alignment Learning, Findings of EMNLP, 2021. 11.
- Consensus String Problem for Multiple Regular Languages, Information and Computation, 2021. 8.
- Robust methods for estimating the orientation and position of IMU and MARG sensors, Electronics Letters, 2021. 7.
- Left is Better Than Right for Reducing Nondeterminism of NFA, International Journal of Foundations on Computer Science, 2021. 4.
- Closest Substring Problems for Regular Languages, Theoretical Computer Science, 2021. 3.
- SALNet: Semi-supervised Few-Shot Text Classification with Attention-based Lexicon Construction, AAAI 2021, 2021. 2.
- Generalizations of Code Languages with Marginal Errors, International Journal of Foundations on Computer Science, 2021. 2.