Formalization of a Polymorphic Subtyping Algorithm. - Jinxu Zhao; Bruno C. d. S. Oliveira; Tom Schrijvers (ITP, 2018)

A mechanical formalization of higher-ranked polymorphic type inference. - Jinxu Zhao; Bruno C. d. S. Oliveira; Tom Schrijvers (Proc. ACM Program. Lang., 2019)

Revisiting iso-recursive subtyping. - Yaoda Zhou; Bruno C. d. S. Oliveira; Jinxu Zhao (Proc. ACM Program. Lang., 2020)

Taming the Merge Operator. - Xuejing Huang; Jinxu Zhao; Bruno C. d. S. Oliveira (J. Funct. Program., 2021)

Elementary Type Inference. - Jinxu Zhao; Bruno C. d. S. Oliveira (ECOOP, 2022)

Elementary Type Inference (Artifact). - Jinxu Zhao; Bruno C. d. S. Oliveira (Dagstuhl Artifacts Ser., 2022)

A Multi-Task Semantic Decomposition Framework with Task-specific Pre-training for Few-Shot NER. - Guanting Dong; Zechen Wang; Jinxu Zhao; Gang Zhao; Daichi Guo; Dayuan Fu; Tingfeng Hui; Chen Zeng; Keqing He 001; Xuefeng Li 002; Liwen Wang; Xinyue Cui; et al. (CIKM, 2023)

DemoNSF: A Multi-task Demonstration-based Generative Framework for Noisy Slot Filling Task. - Guanting Dong; Tingfeng Hui; Zhuoma Gongque; Jinxu Zhao; Daichi Guo; Gang Zhao; Keqing He 001; Weiran Xu (EMNLP (Findings), 2023)

Continual Generalized Intent Discovery: Marching Towards Dynamic and Open-world Intent Recognition. - Xiaoshuai Song; Yutao Mou; Keqing He 001; Yueyan Qiu; Jinxu Zhao; Pei Wang; Weiran Xu (EMNLP (Findings), 2023)

Revisit Input Perturbation Problems for LLMs: A Unified Robustness Evaluation Framework for Noisy Slot Filling Task. - Guanting Dong; Jinxu Zhao; Tingfeng Hui; Daichi Guo; Wenlong Wang; Boqi Feng; Yueyan Qiu; Zhuoma Gongque; Keqing He 001; Zechen Wang; Weiran Xu (NLPCC (1), 2023)

Noise-BERT: A Unified Perturbation-Robust Framework with Noise Alignment Pre-Training for Noisy Slot Filling Task. - Jinxu Zhao; Guanting Dong; Yueyan Qiu; Tingfeng Hui; Xiaoshuai Song; Daichi Guo; Weiran Xu (ICASSP, 2024)

Knowledge Editing on Black-box Large Language Models. - Xiaoshuai Song; Zhengyang Wang; Keqing He 001; Guanting Dong; Yutao Mou; Jinxu Zhao; Weiran Xu (CoRR, 2024)

Assessing and Post-Processing Black Box Large Language Models for Knowledge Editing. - Xiaoshuai Song; Zhengyang Wang; Keqing He 001; Guanting Dong; Yutao Mou; Jinxu Zhao; Weiran Xu (WWW, 2025)