Institute of Information Science, Academia Sinica

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 (CPP '26), January 2026

Liang-Ting Chen, Fredrik Nordvall Forsberg, Tzu-Chun Tsai

Efficient Column-Wise N:M Pruning on RISC-V CPU

Journal of Systems Architecture (JSA), March 2026

Chi-Wei Chu, Ding-Yong Hong, Jan-Jan Wu

AVTENet: A Human-Cognition-Inspired Audio-Visual Transformer-Based Ensemble Network for Video Deepfake Detection

IEEE Transactions on Cognitive and Developmental Systems, December 2025

Ammarah Hashmi, Sahibzada Adil Shahzad, Chia-Wen Lin, Yu Tsao, and Hsin-Min Wang

FedSDA: Federated Stain Distribution Alignment for Non-IID Histopathological Image Classification

The 40th Annual AAAI Conference on Artificial Intelligence (AAAI), January 2026

Cheng-Chang Tsai, Kevin Cheng, and Chun-Shien Lu

Complete end-to-end learning from protein feature representation to protein interactome inference

GigaScience, November 2025

Yu-Hsin Chen, Chien-Fu Liu, Jun-Yi Leu*, and Huai-Kuang Tsai*

GreedyPixel: Fine-Grained Black-Box Adversarial Attack Via Greedy Algorithm

IEEE Transactions on Information Forensics and Security , November 2025

Hanrui Wang, Ching-Chun Chang, Chun-Shien Lu, Christopher Leckie, and Isao Echizen

AV-Lip-Sync+: Leveraging AV-HuBERT to Exploit Multimodal Inconsistency for Deepfake Detection of Frontal Face Videos

IEEE Transactions on Human-Machine Systems, December 2025

Sahibzada Adil Shahzad, Ammarah Hashmi, Yan-Tsung Peng, Yu Tsao, and Hsin-Min Wang

Learning Human-Like RL Agents Through Trajectory Optimization With Action Quantization

the Thirty-ninth Annual Conference on Neural Information Processing Systems (NeurIPS), December 2025

Jian-Ting Guo, Yu-Cheng Chen, Ping-Chun Hsieh, Kuo-Hao Ho, Po-Wei Huang, Ti-Rong Wu, I-Chen Wu

Uncertainty-Guided Exploration for Efficient AlphaZero Training

Annual Conference on Neural Information Processing Systems (NeurIPS), December 2025

Scott Cheng, Meng-Yu Tsai, Ding-Yong Hong, Mahmut Kandemir

A Grouping Algorithm for Training Tree-Shaped Models on Multiple GPUs with High Efficiency

IEEE International Conference on Computers, Software, and Applications (COMPSAC), July 2025

Cai-Feng Lin, Ding-Yong Hong, Tzu-Hsien Tsai, Pangfeng Liu, Jan-Jan Wu

NeuroAMP: A Novel End-to-end General Purpose Deep Neural Amplifier for Personalized Hearing Aids

IEEE Transactions on Artificial Intelligence, March 2026

Shafique Ahmed, Ryandhimas E. Zezario, Hui-Guan Yuan, Amir Hussain, Hsin-Min Wang, Wei-Ho Chung, and Yu Tsao

Bridging Local and Global Knowledge via Transformer in Board Games

the thirty-fourth International Joint Conference on Artificial Intelligence (IJCAI), August 2025

Yan-Ru Ju, Tai-Lin Wu, Chung-Chin Shih, Ti-Rong Wu