Chia-Hsuan Lu

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

Collaborative distances:

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

2026

Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing.

Chia-Hsuan Lu, Tony Tan, Michael Benedikt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

Exact Verification of Graph Neural Networks with Incremental Constraint Solving.

Minghao Liu, Chia-Hsuan Lu, Marta Kwiatkowska

Proceedings of the Formal Methods - 27th International Symposium, 2026

Analysis of Logics with Arithmetic.

Michael Benedikt, Chia-Hsuan Lu, Tony Tan

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

Artifact for "Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing".

Chia-Hsuan Lu, Tony Tan, Michael Benedikt

Dataset, October, 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