Chia-Hsuan Lu

According to our database, Chia-Hsuan Lu authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing.

Chia-Hsuan Lu, Tony Tan, Michael Benedikt

CoRR, October, 2025

Exact Verification of Graph Neural Networks with Incremental Constraint Solving.

Minghao Liu, Chia-Hsuan Lu, Marta Kwiatkowska

CoRR, August, 2025

Analysis of logics with arithmetic.

Michael Benedikt, Chia-Hsuan Lu, Tony Tan

CoRR, August, 2025

2024

On two-variable guarded fragment logic with expressive local Presburger constraints.

Chia-Hsuan Lu, Tony Tan

Log. Methods Comput. Sci., 2024

Decidability of Graph Neural Networks via Logical Characterizations.

Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2021

Towards a more efficient approach for the satisfiability of two-variable logic.

Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021