Liang-Ting Chen and Fredrik Nordvall Forsberg and Tzu-Chun Tsai, Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda, Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2026
Chen, Yu-Fang (陳郁方)
Wei-Jia Huang, Jingyi Mei, Alfons Laarman, Yu-Fang Chen, Christophe Chareton, Kai-Min Chung and Min-Hsiu Hsieh, Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting, The 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026), April 2026
Chung, Kai-Min (鐘楷閔)
Wei-Jia Huang, Jingyi Mei, Alfons Laarman, Yu-Fang Chen, Christophe Chareton, Kai-Min Chung and Min-Hsiu Hsieh, Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting, The 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026), April 2026
Hong, Ding-Yong (洪鼎詠)
Chi-Wei Chu, Ding-Yong Hong, Jan-Jan Wu, Efficient Column-Wise N:M Pruning on RISC-V CPU, March 2026
Huang, Hen-Hsen (黃瀚萱)
Sheng-Lun Wei, Yu-Ling Liao, Yen-Hua Chang, Hen-Hsen Huang, Hsin-Hsi Chen, Bias in the Ear of the Listener: Assessing Sensitivity in Audio Language Models Across Linguistic, Demographic, and Positional Variations, The 19th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2026), Findings, March 2026
Po-Chun Chen, Hen-Hsen Huang, Hsin-Hsi Chen, Task-Level Instructions Induction for Audio Question Answering from Few Examples, The 19th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2026), Main Conference (Short Paper), March 2026
Hen-Hsen Huang, Democratizing LLM Efficiency: From Hyperscale Optimizations to Universal Deployability, The 40th AAAI Conference on Artificial Intelligence (AAAI 2026), Blue Sky Ideas Track, January 2026
Ku, Lun-Wei (古倫維)
Luis Frentzen Salim, Lun-Wei Ku, Hsing-Kuo Pao, Positional Cognitive Specialization: Where Do LLMs Learn To Comprehend and Speak Your Language?, in Proceedings of the 40th AAAI Conference on Artificial Intelligence (AAAI 2026), January 2026
Lin, Jen-Chun (林仁俊)
Yi-Xing Lin, Wen-Li Wei, and Jen-Chun Lin, Adversarial Rivalry Learning for Music Classification, IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), May 2026
Lu, Chun-Shien (呂俊賢)
Chi-Tao Chen, Chun-Shien Lu, and Jia-Ching Wang, ADVERSARIAL DEFENSE VIA GENERATIVE SPEECH ENHANCEMENT MODULE, IEEE Int’l Conf. on Acoustics, Speech, and Signal Processing (ICASSP), May 2026
Cheng-Chang Tsai, Kevin Cheng, and Chun-Shien Lu, FedSDA: Federated Stain Distribution Alignment for Non-IID Histopathological Image Classification, The 40th Annual AAAI Conference on Artificial Intelligence (AAAI), January 2026
Su, Li (蘇黎)
Jeng-Yue Liu, Ting-Chao Hsu, Yen-Tung Yeh, Li Su, Yi-Hsuan Yang, SynthCloner: Synthesizer Preset Conversion via Factorized Codec with ADSR Envelope Control, IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), May 2026
Ting-Kang Wang, Yueh-Po Peng, Li Su, Vincent K.M. Cheung, VioPTT: Violin Technique-Aware Transcription from Synthetic Data Augmentation, IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), May 2026
Heng-Hsiu Hu, Li Su, Self-supervised Note Tracking and Multi-pitch Estimation via Reconstruction-based Learning, IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), May 2026
Wang, Hsin-Min (王新民)
Pei-Jun Liao, Hung-Yi Lee, and Hsin-Min Wang, Cross-Attention Reprogramming for ASR: Bridging Discrete Speech Units and Pretrained Language Models, January 2026
Wu, Jan-Jan (吳真貞)
Chi-Wei Chu, Ding-Yong Hong, Jan-Jan Wu, Efficient Column-Wise N:M Pruning on RISC-V CPU, March 2026
