Search results

Publication date Communities Collections Article title Author(s) Journal/Conference
22 Sep 2025 SERC Institute for Infocomm Research Verification of the CVM Algorithm with a Functional Probabilistic Invariant Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan International Conference on Interactive Theorem Proving (ITP)
7 Aug 2025 SERC Institute for Infocomm Research Efficient Certified Reasoning for Binarized Neural Networks Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel International Conference on Theory and Applications of Satisfiability Testing (SAT)
18 Sep 2022 SERC Institute for Infocomm Research Scoring of Large-Margin Embeddings for Speaker Verification: Cosine or PLDA? Qiongqiong Wang, Kong Aik Lee, Tianchi Liu Annual Conference of the International Speech Communication Association (INTERSPEECH)
30 May 2022 SERC Institute for Infocomm Research Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong IEEE Transactions on Dependable and Secure Computing
30 Aug 2021 SERC Institute for Infocomm Research Serialized Multi-Layer Multi-Head Attention for Neural Speaker Embedding Hongning Zhu, Kong Aik Lee, Haizhou Li Interspeech 2021
1 Jul 2020 SERC Institute for Infocomm Research Device Feature Extraction Based on Parallel Neural Network Training for Replay Spoofing Detection You Changhuai, Yang Jichen IEEE/ACM Transactions on Audio, Speech and Language Processing (TASLP)
15 Sep 2019 SERC Institute for Infocomm Research Device Feature Extractor for Replay Spoofing Detection Tran Huy Dat, Chang Huai You, Jichen Yang Interspeech 2019
3 Jan 2019 SERC Institute for Infocomm Research Multiview discriminative marginal metric learning for makeup face verification Lining Zhang, Hubert P. H. Shum, Li Liu, Guodong Guo, Ling Shao Neurocomputing