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
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
