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 (黃瀚萱)
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
Lu, Chun-Shien (呂俊賢)
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
Wu, Jan-Jan (吳真貞)
Chi-Wei Chu, Ding-Yong Hong, Jan-Jan Wu, Efficient Column-Wise N:M Pruning on RISC-V CPU, March 2026
