Chia-Hsuan Lu

11 papers A* 2B 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2026 B conf
Analysis of Logics with Arithmetic.
CSL
Michael Benedikt, Chia-Hsuan Lu, Tony Tan
2026 — conf
Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing.
TACAS (1)
Chia-Hsuan Lu, Tony Tan, Michael Benedikt
2025 J jnl
Analysis of logics with arithmetic.
CoRR
Michael Benedikt, Chia-Hsuan Lu, Tony Tan
2025 J jnl
Exact Verification of Graph Neural Networks with Incremental Constraint Solving.
CoRR
Minghao Liu, Chia-Hsuan Lu, Marta Kwiatkowska
2025 J jnl
Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing.
CoRR
Chia-Hsuan Lu, Tony Tan, Michael Benedikt
2024 A* conf
Decidability of Graph Neural Networks via Logical Characterizations.
ICALP
Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan
2024 J jnl
Decidability of Graph Neural Networks via Logical Characterizations.
CoRR
Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan
2024 J jnl
On two-variable guarded fragment logic with expressive local Presburger constraints.
Log. Methods Comput. Sci.
Chia-Hsuan Lu, Tony Tan
2022 J jnl
On two-variable guarded fragment logic with expressive local Presburger constraints.
CoRR
Chia-Hsuan Lu, Tony Tan
2021 A* conf
Towards a more efficient approach for the satisfiability of two-variable logic.
LICS
Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan
2021 J jnl
Towards a more efficient approach for the satisfiability of two-variable logic.
CoRR
Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan