Trust-Region Method with Deep Reinforcement Learning in Analog Design Space Exploration. - Kai-En Yang; Chia-Yu Tsai; Hung-Hao Shen; Chen-Feng Chiang; Feng-Ming Tsai; Chung-An Wang; Yiju Ting; Chia-Shun Yeh; Chin-Tang Lai (DAC, 2021)

Decision Diagrams for Symbolic Verification of Quantum Circuits. - Xin Hong; Wei-Jia Huang; Wei-Chen Chien; Yuan Feng 001; Min-Hsiu Hsieh; Sanjiang Li; Chia-Shun Yeh; Mingsheng Ying (QCE, 2023)