Lu, Chia-Hsuan

1. Decidability of Graph Neural Networks via Logical Characterizations
   2024/04/28 by Benedikt, Michael, Lu, Chia-Hsuan, Tan, Tony · 7 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Towards a more efficient approach for the satisfiability of two-variable logic
   2021/04/21 by Ting‐Wei Lin, Chia-Hsuan Lu, Lin, Ting-Wei +3 · 1 citation
   Computer Science · #Advanced Graph Theory Research #Computational Complexity (cs.CC) #F.2.2 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #semigroups and automata theory