An algorithm to compute maximal contractions for Horn clauses. - Jie Luo 004; Wei Li 022 (Sci. China Inf. Sci., 2011)

R-calculus without the cut rule. - Jie Luo 004; Wei Li 022 (Sci. China Inf. Sci., 2011)

Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). - Xiaoyu Chen 001; Wei Li 022; Jie Luo 004; Dongming Wang 001 (AISC/MKM/Calculemus, 2012)

Test algebra for combinatorial testing. - Wei-Tek Tsai; Charles J. Colbourn; Jie Luo 004; Guanqiu Qi; Qingyang Li 001; Xiaoying Bai (AST, 2013)

A representative model based algorithm for maximal contractions. - Dongchen Jiang; Yihua Lou; Yi Jin; Jie Luo 004; Wei Li 022 (Sci. China Inf. Sci., 2013)

A decomposition based algorithm for maximal contractions. - Dongchen Jiang; Wei Li 022; Jie Luo 004; Yihua Lou; Zhengzhong Liao (Frontiers Comput. Sci., 2013)

A general framework for computing maximal contractions. - Jie Luo 004 (Frontiers Comput. Sci., 2013)

Test-Algebra Execution in a Cloud Environment. - Wenjun Wu 001; Wei-Tek Tsai; Chao Jin; Guanqiu Qi; Jie Luo 004 (SOSE, 2014)

Concurrent Test Algebra Execution with Combinatorial Testing. - Wei-Tek Tsai; Jie Luo 004; Guanqiu Qi; Wenjun Wu 001 (SOSE, 2014)

A formal semantics for debugging synchronous message passing-based concurrent programs. - He Li; Jie Luo 004; Wei Li 022 (Sci. China Inf. Sci., 2014)

Automated Program Debugging for Multiple Bugs Based on Semantic Analysis. - Aishan Liu; Li Li; Jie Luo 004 (SOFL+MSVL, 2015)

Schema-Based Query Rewriting in SPARQL. - Lili Jiang; Jie Luo 004 (KSEM, 2016)

Contrary description logic: Gentzen deduction system. - Wei Li 022; Yuefei Sui; Jie Luo 004; Bo Chen (Sci. China Inf. Sci., 2017)

FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets. - Shaofan Liu; Jie Luo 004 (AISC, 2018)

An Incremental Reasoning Algorithm for Large Scale Knowledge Graph. - Yifei Wang; Jie Luo 004 (KSEM (1), 2018)

CPCA: A Feature Semantics Based Crowd Dimension Reduction Framework. - Yuanyuan Zhang 013; Dawei Gao; Jie Luo 004; Ke Xu 001 (IEEE Access, 2018)

Test-Algebra-Based Fault Location Analysis for the Concurrent Combinatorial Testing. - Guanqiu Qi; Wei-Tek Tsai; Charles J. Colbourn; Jie Luo 004; Zhiqin Zhu (IEEE Trans. Reliab., 2018)

Distant Supervised Relation Extraction with Separate Head-Tail CNN. - Rui Xing 002; Jie Luo 004 (W-NUT@EMNLP, 2019)

BioRel: A Large-Scale Dataset for Biomedical Relation Extraction. - Rui Xing 002; Jie Luo 004; Tengwei Song (BIBM, 2019)

Incremental Theory Closure Reasoning for Large Scale Knowledge Graphs. - Jie Luo 004; Yifei Wang; Yi Xu 013 (IEEE Access, 2019)

Accelerating MUS enumeration by inconsistency graph partitioning. - Jie Luo 004; Shaofan Liu (Sci. China Inf. Sci., 2019)

Quarter-Point Product Quantization for approximate nearest neighbor search. - Shan An; Zhibiao Huang; Shuang Bai; Guangfu Che; Xin Ma; Jie Luo 004; Yu Chen (Pattern Recognit. Lett., 2019)

Rule-based hidden relation recognition for large scale knowledge graphs. - Jie Luo 004; Yifei Wang; Dongchen Jiang (Pattern Recognit. Lett., 2019)

Deep supervised hashing using symmetric relative entropy. - Xueni Zhang; Lei Zhou 008; Xiao Bai 001; Xiushu Luan; Jie Luo 004; Edwin R. Hancock (Pattern Recognit. Lett., 2019)

Design Method of Banquet Intelligent Side Dishes System Based on Data Mining and Correlation Analysis. - Xing Oiao; Jie Luo 004 (QRS Companion, 2020)

An Associative Optimizing Method on Reliability and Cost in Clouds. - Sa Meng; Yuanshun Dai; Liang Luo; Jie Luo 004 (IEEE Access, 2020)

Heuristic-Based Address Clustering in Bitcoin. - Yuhang Zhang; Jun Wang 059; Jie Luo 004 (IEEE Access, 2020)

Knowledge Graph Embedding Based Collaborative Filtering. - Yuhang Zhang; Jun Wang 059; Jie Luo 004 (IEEE Access, 2020)

BioRel: towards large-scale biomedical relation extraction. - Rui Xing 002; Jie Luo 004; Tengwei Song (BMC Bioinform., 2020)

Unbiased Scene Graph Generation via Rich and Fair Semantic Extraction. - Bin Wen; Jie Luo 004; Xianglong Liu 001; Lei Huang 015 (CoRR, 2020)

Quality assessment in competition-based software crowdsourcing. - Zhenghui Hu; Wenjun Wu 001; Jie Luo 004; Xin Wang; Boshu Li (Frontiers Comput. Sci., 2020)

Rot-Pro: Modeling Transitivity by Projection in Knowledge Graph Embedding. - Tengwei Song; Jie Luo 004; Lei Huang 015 (NeurIPS, 2021)

Explaining the semantics capturing capability of scene graph generation models. - Jie Luo 004; Jia Zhao; Bin Wen; Yuhang Zhang (Pattern Recognit., 2021)

Delving into the Estimation Shift of Batch Normalization in a Network. - Lei Huang 015; Yi Zhou 007; Tian Wang 002; Jie Luo 004; Xianglong Liu 001 (CVPR, 2022)

BiFSMN: Binary Neural Network for Keyword Spotting. - Haotong Qin; Xudong Ma; Yifu Ding; Xiaoyang Li; Yang Zhang 088; Yao Tian; Zejun Ma; Jie Luo 004; Xianglong Liu 001 (IJCAI, 2022)

Attention-based Learning for Multiple Relation Patterns in Knowledge Graph Embedding. - Tengwei Song; Jie Luo 004 (KSEM (1), 2022)

Pre-train Unified Knowledge Graph Embedding with Ontology. - Tengwei Song; Jie Luo 004; Xiangyu Chen (KSEM (1), 2022)

ESP: Exploiting Symmetry Prior for Multi-Agent Reinforcement Learning. - Xin Yu 009; Rongye Shi; Pu Feng; Yongkai Tian; Jie Luo 004; Wenjun Wu 001 (ECAI, 2023)

Dual Channel Knowledge Graph Embedding with Ontology Guided Data Augmentation. - Tengwei Song; Long Yin; Xudong Ma; Jie Luo 004 (KSEM (1), 2023)

Exploiting Hierarchical Symmetry in Multi-Agent Reinforcement Learning. - Yongkai Tian; Xin Yu 009; Yirong Qi; Li Wang 170; Pu Feng; Wenjun Wu 001; Rongye Shi; Jie Luo 004 (ECAI, 2024)

Modulate Your Spectrum in Self-Supervised Learning. - Xi Weng; Yunhao Ni; Tengwei Song; Jie Luo 004; Rao Muhammad Anwer; Salman Khan 001; Fahad Khan 001; Lei Huang 015 (ICLR, 2024)

Accurate LoRA-Finetuning Quantization of LLMs via Information Retention. - Haotong Qin; Xudong Ma; Xingyu Zheng; Xiaoyang Li; Yang Zhang 088; Shouda Liu; Jie Luo 004; Xianglong Liu 001; Michele Magno (ICML, 2024)

TinyLLaVA: A Framework of Small-scale Large Multimodal Models. - Baichuan Zhou; Ying Hu; Xi Weng; Junlong Jia; Jie Luo 004; Xien Liu; Ji Wu 002; Lei Huang 015 (CoRR, 2024)

How Good Are Low-bit Quantized LLaMA3 Models? An Empirical Study. - Wei Huang 042; Xudong Ma; Haotong Qin; Xingyu Zheng; Chengtao Lv; Hong Chen 014; Jie Luo 004; Xiaojuan Qi 001; Xianglong Liu 001; Michele Magno (CoRR, 2024)

TinyLLaVA Factory: A Modularized Codebase for Small-scale Large Multimodal Models. - Junlong Jia; Ying Hu; Xi Weng; Yiming Shi; Miao Li 003; Xingjian Zhang 007; Baichuan Zhou; Ziyu Liu; Jie Luo 004; Lei Huang 015; Ji Wu 002 (CoRR, 2024)

An empirical study of LLaMA3 quantization: from LLMs to MLLMs. - Wei Huang 042; Xingyu Zheng; Xudong Ma; Haotong Qin; Chengtao Lv; Hong Chen 014; Jie Luo 004; Xiaojuan Qi 001; Xianglong Liu 001; Michele Magno (Vis. Intell., 2024)

BiFSMNv2: Pushing Binary Neural Networks for Keyword Spotting to Real-Network Performance. - Haotong Qin; Xudong Ma; Yifu Ding; Xiaoyang Li; Yang Zhang 088; Zejun Ma; Jiakai Wang; Jie Luo 004; Xianglong Liu 001 (IEEE Trans. Neural Networks Learn. Syst., 2024)

zkRPC: Trustless Bitcoin data availability network. - Kundu Chen; Jie Luo 004 (Comput. Networks, 2025)

Expressiveness Analysis and Enhancing Framework for Geometric Knowledge Graph Embedding Models. - Tengwei Song; Long Yin; Yang Liu; Long Liao; Jie Luo 004; Zhiqiang Xu 003 (IEEE Trans. Knowl. Data Eng., 2025)

An Empirical Study of Qwen3 Quantization. - Xingyu Zheng; Yuye Li; Haoran Chu; Yue Feng; Xudong Ma; Jie Luo 004; Jinyang Guo; Haotong Qin; Michele Magno; Xianglong Liu 001 (CoRR, 2025)

BiVM: Accurate Binarized Neural Network for Efficient Video Matting. - Haotong Qin; Xianglong Liu 001; Xudong Ma; Lei Ke; Yulun Zhang 001; Jie Luo 004; Michele Magno (CoRR, 2025)