Minimal-Change Counterfactuals in Intuitionistic Logic. - Ivano Ciardelli; Xinghan Liu (LORI, 2019)

Monotonicity in Intuitionistic Minimal Change Semantics Given Gärdenfors' Triviality Result. - Xinghan Liu (TLLM, 2020)

Intuitionistic Conditional Logics. - Ivano Ciardelli; Xinghan Liu (J. Philos. Log., 2020)

A Logic for Binary Classifiers and Their Explanation. - Xinghan Liu; Emiliano Lorini (CLAR, 2021)

Logics for Binary-input Classifiers and Their Explanations (short paper). - Xinghan Liu; Emiliano Lorini (BEWARE@AI*IA, 2022)

Modelling and Explaining Legal Case-Based Reasoners Through Classifiers. - Xinghan Liu; Emiliano Lorini; Antonino Rotolo; Giovanni Sartor (JURIX, 2022)

A Logic of "Black Box" Classifier Systems. - Xinghan Liu; Emiliano Lorini (WoLLIC, 2022)

Boosting Physical Layer Black-Box Attacks with Semantic Adversaries in Semantic Communications. - Zeju Li; Xinghan Liu; Guoshun Nan; Jinfei Zhou; Xinchen Lyu; Qimei Cui; Xiaofeng Tao (ICC, 2023)

CogVideo: Large-scale Pretraining for Text-to-Video Generation via Transformers. - Wenyi Hong; Ming Ding 004; Wendi Zheng; Xinghan Liu; Jie Tang 001 (ICLR, 2023)

Inferring New Classifications in Legal Case-Based Reasoning. - Cecilia Di Florio; Xinghan Liu; Emiliano Lorini; Antonino Rotolo; Giovanni Sartor (JURIX, 2023)

Counterfactual Reasoning via Grounded Distance. - Carlos Aguilera-Ventura; Andreas Herzig; Xinghan Liu; Emiliano Lorini (KR, 2023)

A logical investigation of explainable AI. (Une investigation logique de l'IA explicable). - Xinghan Liu (2023)

A unified logical framework for explanations in classifier systems. - Xinghan Liu; Emiliano Lorini (J. Log. Comput., 2023)

SemProtector: A Unified Framework for Semantic Protection in Deep Learning-based Semantic Communication Systems. - Xinghan Liu; Guoshun Nan; Qimei Cui; Zeju Li; Peiyuan Liu; Zebin Xing; Hanqing Mu; Xiaofeng Tao; Tony Q. S. Quek (IEEE Commun. Mag., 2023)

The Complexity of Reasoning about Classifiers. - Xinghan Liu; Emiliano Lorini (AiML, 2024)

ChatGLM-Math: Improving Math Problem-Solving in Large Language Models with a Self-Critique Pipeline. - Yifan Xu; Xiao Liu 036; Xinghan Liu; Zhenyu Hou; Yueyan Li; Xiaohan Zhang; Zihan Wang; Aohan Zeng; Zhengxiao Du; Wenyi Zhao; Jie Tang 001; Yuxiao Dong (EMNLP (Findings), 2024)

DesTrans: A medical image fusion method based on Transformer and improved DenseNet. - Yumeng Song; Yin Dai; Weibin Liu; Yue Liu; Xinpeng Liu 006; Qiming Yu; Xinghan Liu; Ningfeng Que; Mingzhe Li (Comput. Biol. Medicine, 2024)

ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools. - Aohan Zeng; Bin Xu 001; Bowen Wang; Chenhui Zhang; Da Yin; Diego Rojas; Guanyu Feng; Hanlin Zhao; Hanyu Lai; Hao Yu; Hongning Wang; Jiadai Sun; et al. (CoRR, 2024)

AutoGLM: Autonomous Foundation Agents for GUIs. - Xiao Liu 036; Bo Qin; Dongzhu Liang; Guang Dong; Hanyu Lai; Hanchen Zhang; Hanlin Zhao; Iat Long Iong; Jiadai Sun; Jiaqi Wang; Junjie Gao; Junjun Shan; et al. (CoRR, 2024)

UDSem: A Unified Distributed Learning Framework for Semantic Communications Over Wireless Networks. - Guoshun Nan; Xinghan Liu; Xinchen Lyu; Qimei Cui; Xiaodong Xu 001; Ping Zhang 003 (IEEE Netw., 2024)

Why This and Not That? A Logic-Based Framework for Contrastive Explanations. - Tobias Geibinger; Reijo Jaakkola; Antti Kuusisto; Xinghan Liu; Miikka Vilander (JELIA (1), 2025)

A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals. - Carlos Aguilera-Ventura; Xinghan Liu; Emiliano Lorini; Dmitry Rozplokhas (CoRR, 2025)