Chien, Po-Chun

1. Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization
   2020/12/04 by Rai, Shubham, Neto, Walter Lau, Miyasaka, Yukio +37 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG)
2. Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
   2024/09/03 by Baier, Daniel, Beyer, Dirk, Chien, Po-Chun +8 · 1 citation
   #D.2.4 #D.3.1 #F.3.1 #F.4.3 #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)