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