Towards a more efficient approach for the satisfiability of two-variable logic. - Ting-Wei Lin; Chia-Hsuan Lu; Tony Tan (LICS, 2021)

Decidability of Graph Neural Networks via Logical Characterizations. - Michael Benedikt; Chia-Hsuan Lu; Boris Motik; Tony Tan (ICALP, 2024)

On two-variable guarded fragment logic with expressive local Presburger constraints. - Chia-Hsuan Lu; Tony Tan (Log. Methods Comput. Sci., 2024)

Analysis of logics with arithmetic. - Michael Benedikt; Chia-Hsuan Lu; Tony Tan (CoRR, 2025)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving. - Minghao Liu; Chia-Hsuan Lu; Marta Kwiatkowska (CoRR, 2025)