Reverse kNN Search in Arbitrary Dimensionality. - Yufei Tao 001; Dimitris Papadias; Xiang Lian 001 (VLDB, 2004)

Efficient Methods on Predictions for Similarity Search over Stream Time Series. - Xiang Lian 001; Lei Chen 002 (SSDBM, 2006)

Approximate Similarity Search over Multiple Stream Time Series. - Xiang Lian 001; Lei Chen 002; Bin Wang 015 (DASFAA, 2007)

A General Cost Model for Dimensionality Reduction in High Dimensional Spaces. - Xiang Lian 001; Lei Chen 002 (ICDE, 2007)

Similarity Match Over High Speed Time-Series Streams. - Xiang Lian 001; Lei Chen 002; Jeffrey Xu Yu; Guoren Wang; Ge Yu 001 (ICDE, 2007)

Indexable PLA for Efficient Similarity Search. - Qiuxia Chen; Lei Chen 002; Xiang Lian 001; Yunhao Liu 001; Jeffrey Xu Yu (VLDB, 2007)

Random Sampling for Continuous Streams with Arbitrary Updates. - Yufei Tao 001; Xiang Lian 001; Dimitris Papadias; Marios Hadjieleftheriou (IEEE Trans. Knowl. Data Eng., 2007)

Multidimensional reverse k NN search. - Yufei Tao 001; Dimitris Papadias; Xiang Lian 001; Xiaokui Xiao (VLDB J., 2007)

Dynamic skyline queries in metric spaces. - Lei Chen 002; Xiang Lian 001 (EDBT, 2008)

Probabilistic ranked queries in uncertain databases. - Xiang Lian 001; Lei Chen 002 (EDBT, 2008)

Similarity Search in Arbitrary Subspaces Under Lp-Norm. - Xiang Lian 001; Lei Chen 002 (ICDE, 2008)

Pattern Matching over Cloaked Time Series. - Xiang Lian 001; Lei Chen 002; Jeffrey Xu Yu (ICDE, 2008)

Monochromatic and bichromatic reverse skyline search over uncertain databases. - Xiang Lian 001; Lei Chen 002 (SIGMOD Conference, 2008)

Efficient Similarity Search in Nonmetric Spaces with Local Constant Embedding. - Lei Chen 002; Xiang Lian 001 (IEEE Trans. Knowl. Data Eng., 2008)

Efficient Similarity Search over Future Stream Time Series. - Xiang Lian 001; Lei Chen 002 (IEEE Trans. Knowl. Data Eng., 2008)

Probabilistic Group Nearest Neighbor Queries in Uncertain Databases. - Xiang Lian 001; Lei Chen 002 (IEEE Trans. Knowl. Data Eng., 2008)

Efficient join processing on uncertain data streams. - Xiang Lian 001; Lei Chen 002 (CIKM, 2009)

Probabilistic Inverse Ranking Queries over Uncertain Data. - Xiang Lian 001; Lei Chen 002 (DASFAA, 2009)

Top-k dominating queries in uncertain databases. - Xiang Lian 001; Lei Chen 002 (EDBT, 2009)

A Concise Representation of Range Queries. - Ke Yi 001; Xiang Lian 001; Feifei Li 001; Lei Chen 002 (ICDE, 2009)

Efficient Processing of Metric Skyline Queries. - Lei Chen 002; Xiang Lian 001 (IEEE Trans. Knowl. Data Eng., 2009)

General Cost Models for Evaluating Dimensionality Reduction in High-Dimensional Spaces. - Xiang Lian 001; Lei Chen 002 (IEEE Trans. Knowl. Data Eng., 2009)

Efficient Similarity Join over Multiple Stream Time Series. - Xiang Lian 001; Lei Chen 002 (IEEE Trans. Knowl. Data Eng., 2009)

Multiscale Representations for Fast Pattern Matching in Stream Time Series. - Xiang Lian 001; Lei Chen 002; Jeffrey Xu Yu; Jinsong Han; Jian Ma (IEEE Trans. Knowl. Data Eng., 2009)

Efficient processing of probabilistic reverse nearest neighbor queries over uncertain data. - Xiang Lian 001; Lei Chen 002 (VLDB J., 2009)

Consistent query answers in inconsistent probabilistic databases. - Xiang Lian 001; Lei Chen 002; Shaoxu Song (SIGMOD Conference, 2010)

Development of foundation models for Internet of Things. - Lei Chen 002; Mitchell M. Tseng; Xiang Lian 001 (Frontiers Comput. Sci. China, 2010)

Set Similarity Join on Probabilistic Data. - Xiang Lian 001; Lei Chen 002 (Proc. VLDB Endow., 2010)

A Generic Framework for Handling Uncertain Data with Local Correlations. - Xiang Lian 001; Lei Chen 002 (Proc. VLDB Endow., 2010)

Ranked Query Processing in Uncertain Databases. - Xiang Lian 001; Lei Chen 002 (IEEE Trans. Knowl. Data Eng., 2010)

Reverse skyline search in uncertain databases. - Xiang Lian 001; Lei Chen 002 (ACM Trans. Database Syst., 2010)

Cost-efficient repair in inconsistent probabilistic databases. - Xiang Lian 001; Yincheng Lin; Lei Chen 002 (CIKM, 2011)

Managing uncertain spatio-temporal data. - Thomas Bernecker; Tobias Emrich; Hans-Peter Kriegel; Andreas Züfle; Lei Chen 002; Xiang Lian 001; Nikos Mamoulis (QUeST@GIS, 2011)

Efficient query answering in probabilistic RDF graphs. - Xiang Lian 001; Lei Chen 002 (SIGMOD Conference, 2011)

Probabilistic Time Consistent Queries over Moving Objects. - Xiang Lian 001; Lei Chen 002 (SSDBM, 2011)

Finding the least influenced set in uncertain databases. - Xiang Lian 001; Lei Chen 002; Guoren Wang (Inf. Syst., 2011)

Similarity Join Processing on Uncertain Data Streams. - Xiang Lian 001; Lei Chen 002 (IEEE Trans. Knowl. Data Eng., 2011)

The World in a Nutshell: Concise Range Queries. - Ke Yi 001; Xiang Lian 001; Feifei Li 001; Lei Chen 002 (IEEE Trans. Knowl. Data Eng., 2011)

Probabilistic inverse ranking queries in uncertain databases. - Xiang Lian 001; Lei Chen 002 (VLDB J., 2011)

Shooting top-k stars in uncertain databases. - Xiang Lian 001; Lei Chen 002 (VLDB J., 2011)

Query Processing over Uncertain and Probabilistic Databases. - Lei Chen 002; Xiang Lian 001 (DASFAA (2), 2012)

UTPB: A Benchmark for Scientific Workflow Provenance Storage and Querying Systems. - Artem Chebotko; Eugenio De Hoyos; Carlos Gomez; Andrey Kashlev; Xiang Lian 001; Christine F. Reilly (SERVICES, 2012)

Continuous monitoring of skylines over uncertain data streams. - Xiaofeng Ding 001; Xiang Lian 001; Lei Chen 002; Hai Jin 001 (Inf. Sci., 2012)

Subspace Similarity Search under Lp-Norm. - Xiang Lian 001; Lei Chen 002 (IEEE Trans. Knowl. Data Eng., 2012)

Query Processing over Uncertain Databases - Lei Chen 002; Xiang Lian 001 (Morgan & Claypool Publishers, 2012)

Causality and responsibility: probabilistic queries revisited in uncertain databases. - Xiang Lian 001; Lei Chen 002 (CIKM, 2013)

Graph similarity search with edit distance constraint in large graph databases. - Weiguo Zheng; Lei Zou 001; Xiang Lian 001; Dong Wang; Dongyan Zhao 001 (CIKM, 2013)

Efficient processing of probabilistic group subspace skyline queries in uncertain databases. - Xiang Lian 001; Lei Chen 002 (Inf. Syst., 2013)

Probabilistic top-k dominating queries in uncertain databases. - Xiang Lian 001; Lei Chen 002 (Inf. Sci., 2013)

k-nearest keyword search in RDF graphs. - Xiang Lian 001; Eugenio De Hoyos; Artem Chebotko; Bin Fu; Christine F. Reilly (J. Web Semant., 2013)

Efficient Subgraph Skyline Search Over Large Graphs. - Weiguo Zheng; Lei Zou 001; Xiang Lian 001; Liang Hong; Dongyan Zhao 001 (CIKM, 2014)

Matching heterogeneous event data. - Xiaochen Zhu 001; Shaoxu Song; Xiang Lian 001; Jianmin Wang 001; Lei Zou 001 (SIGMOD Conference, 2014)

Reliable Diversity-Based Spatial Crowdsourcing by Moving Workers. - Peng Cheng 003; Xiang Lian 001; Zhao Chen 003; Lei Chen 002; Jinsong Han; Jizhong Zhao (CoRR, 2014)

SQBC: An efficient subgraph matching method over large and dense graphs. - Weiguo Zheng; Lei Zou 001; Xiang Lian 001; Huaming Zhang; Wei Wang 339; Dongyan Zhao 001 (Inf. Sci., 2014)

Trip Planner Over Probabilistic Time-Dependent Road Networks. - Xiang Lian 001; Lei Chen 002 (IEEE Trans. Knowl. Data Eng., 2014)

How to Build Templates for RDF Question/Answering: An Uncertain Graph Similarity Join Approach. - Weiguo Zheng; Lei Zou 001; Xiang Lian 001; Jeffrey Xu Yu; Shaoxu Song; Dongyan Zhao 001 (SIGMOD Conference, 2015)

Reliable Diversity-Based Spatial Crowdsourcing by Moving Workers. - Peng Cheng 003; Xiang Lian 001; Zhao Chen 003; Rui Fu; Lei Chen 002; Jinsong Han; Jizhong Zhao (Proc. VLDB Endow., 2015)

Subgraph Matching with Set Similarity in a Large Graph Database. - Liang Hong; Lei Zou 001; Xiang Lian 001; Philip S. Yu (IEEE Trans. Knowl. Data Eng., 2015)

Keyword Search Over Probabilistic RDF Graphs. - Xiang Lian 001; Lei Chen 002; Zi Huang (IEEE Trans. Knowl. Data Eng., 2015)

Efficient Graph Similarity Search Over Large Graph Databases. - Weiguo Zheng; Lei Zou 001; Xiang Lian 001; Dong Wang; Dongyan Zhao 001 (IEEE Trans. Knowl. Data Eng., 2015)

FROG: A Fast and Reliable Crowdsourcing Framework (Technical Report). - Peng Cheng 003; Xiang Lian 001; Xun Jian 001; Lei Chen 002 (CoRR, 2016)

Task Assignment on Multi-Skill Oriented Spatial Crowdsourcing. - Peng Cheng 003; Xiang Lian 001; Lei Chen 002; Jinsong Han; Jizhong Zhao (IEEE Trans. Knowl. Data Eng., 2016)

Quality-Aware Subgraph Matching Over Inconsistent Probabilistic Graph Databases. - Xiang Lian 001; Lei Chen 002; Guoren Wang (IEEE Trans. Knowl. Data Eng., 2016)

RSkNN: kNN Search on Road Networks by Incorporating Social Influence. - Ye Yuan 001; Xiang Lian 001; Lei Chen 002; Yongjiao Sun; Guoren Wang (IEEE Trans. Knowl. Data Eng., 2016)

Online Subgraph Skyline Analysis over Knowledge Graphs. - Weiguo Zheng; Xiang Lian 001; Lei Zou 001; Liang Hong; Dongyan Zhao 001 (IEEE Trans. Knowl. Data Eng., 2016)

Prediction-Based Task Assignment in Spatial Crowdsourcing. - Peng Cheng 003; Xiang Lian 001; Lei Chen 002; Cyrus Shahabi (ICDE, 2017)

Efficient Ad-Hoc Graph Inference and Matching in Biological Databases. - Xiang Lian 001; Dongchul Kim (SIGMOD Conference, 2017)

Keyword Search over Distributed Graphs with Compressed Signature. - Ye Yuan 001; Xiang Lian 001; Lei Chen 002; Jeffrey Xu Yu; Guoren Wang; Yongjiao Sun (IEEE Trans. Knowl. Data Eng., 2017)

On Efficiently Detecting Overlapping Communities over Distributed Dynamic Graphs. - Xun Jian 001; Xiang Lian 001; Lei Chen 002 (ICDE, 2018)

An Efficient Probabilistic Approach for Graph Similarity Search. - Zijian Li 002; Xun Jian 001; Xiang Lian 001; Lei Chen 002 (ICDE, 2018)

Efficient SimRank Tracking in Dynamic Graphs. - Yue Wang 012; Xiang Lian 001; Lei Chen 002 (ICDE, 2018)

Matching Heterogeneous Event Data. - Yu Gao; Shaoxu Song; Xiaochen Zhu 001; Jianmin Wang 001; Xiang Lian 001; Lei Zou 001 (IEEE Trans. Knowl. Data Eng., 2018)

Probabilistic Time-Constrained Paths Search over Uncertain Road Networks. - Wengen Li; Jihong Guan; Xiang Lian 001; Shuigeng Zhou; Jiannong Cao 001 (IEEE Trans. Serv. Comput., 2018)

Second-order random walk-based proximity measures in graph analysis: formulations and algorithms. - Yubao Wu; Xiang Zhang 001; Yuchen Bian; Zhipeng Cai 001; Xiang Lian 001; Xueting Liao; Fengpan Zhao (VLDB J., 2018)

Uncertain Data Streams. - Xiang Lian 001 (Encyclopedia of Database Systems (2nd ed.), 2018)

Efficient Join Processing Over Incomplete Data Streams. - Weilong Ren 002; Xiang Lian 001; Kambiz Ghazinour (CIKM, 2019)

Probabilistic Maximum Range-Sum Queries on Spatial Database. - Qiyu Liu; Xiang Lian 001; Lei Chen 002 (SIGSPATIAL/GIS, 2019)

Cohesive Group Nearest Neighbor Queries Over Road-Social Networks. - Fangda Guo; Ye Yuan 001; Guoren Wang; Lei Chen 002; Xiang Lian 001; Zimeng Wang (ICDE, 2019)

Weight-Constrained Route Planning Over Time-Dependent Graphs. - Ye Yuan 001; Xiang Lian 001; Guoren Wang; Lei Chen 002; Yuliang Ma 001; Yishu Wang 001 (ICDE, 2019)

Efficient Join Processing Over Incomplete Data Streams (Technical Report). - Weilong Ren 002; Xiang Lian 001; Kambiz Ghazinour (CoRR, 2019)

Skyline Queries Over Incomplete Data Streams (Technical Report). - Weilong Ren 002; Xiang Lian 001; Kambiz Ghazinour (CoRR, 2019)

Efficient Path Routing Over Road Networks in the Presence of Ad-Hoc Obstacles (Technical Report). - Ahmed Al-Baghdadi; Xiang Lian 001; En Cheng (CoRR, 2019)

Constrained Shortest Path Query in a Large Time-Dependent Graph. - Ye Yuan 001; Xiang Lian 001; Guoren Wang; Yuliang Ma 001; Yishu Wang 001 (Proc. VLDB Endow., 2019)

FROG: A Fast and Reliable Crowdsourcing Framework. - Peng Cheng 003; Xiang Lian 001; Xun Jian 001; Lei Chen 002 (IEEE Trans. Knowl. Data Eng., 2019)

GCache: Neighborhood-Guided Graph Caching in a Distributed Environment. - Ye Yuan 001; Xiang Lian 001; Lei Chen 002; Guoren Wang; Jeffrey Xu Yu; Yishu Wang 001; Yuliang Ma 001 (IEEE Trans. Parallel Distributed Syst., 2019)

Skyline queries over incomplete data streams. - Weilong Ren 002; Xiang Lian 001; Kambiz Ghazinour (VLDB J., 2019)

Topic-based Community Search over Spatial-Social Networks (Technical Report). - Ahmed Al-Baghdadi; Xiang Lian 001 (CoRR, 2020)

Efficient Path Routing Over Road Networks in the Presence of Ad-Hoc Obstacles. - Ahmed Al-Baghdadi; Xiang Lian 001; En Cheng (Inf. Syst., 2020)

Topic-based Community Search over Spatial-Social Networks. - Ahmed Al-Baghdadi; Xiang Lian 001 (Proc. VLDB Endow., 2020)

Efficiently Discovering Regions of Interest with User-Defined Score Function. - Qiyu Liu; Libin Zheng; Xiang Lian 001; Lei Chen 002 (DASFAA (1), 2021)

Top-k Community Similarity Search Over Large Road-Network Graphs. - Niranjan Rai; Xiang Lian 001 (ICDE, 2021)

Online Topic-Aware Entity Resolution Over Incomplete Data Streams. - Weilong Ren 002; Xiang Lian 001; Kambiz Ghazinour (SIGMOD Conference, 2021)

Online Topic-Aware Entity Resolution Over Incomplete Data Streams (Technical Report). - Weilong Ren 002; Xiang Lian 001; Kambiz Ghazinour (CoRR, 2021)

Probabilistic Top-k Dominating Queries in Distributed Uncertain Databases (Technical Report). - Niranjan Rai; Xiang Lian 001 (CoRR, 2021)

Effective and efficient top-k query processing over incomplete data streams. - Weilong Ren 002; Xiang Lian 001; Kambiz Ghazinour (Inf. Sci., 2021)

Cohesive Group Nearest Neighbor Queries on Road-Social Networks under Multi-Criteria. - Fangda Guo; Ye Yuan 001; Guoren Wang; Lei Chen 002; Xiang Lian 001; Zimeng Wang (IEEE Trans. Knowl. Data Eng., 2021)

A Comparative Study of Consistent Snapshot Algorithms for Main-Memory Database Systems. - Liang Li 016; Guoren Wang; Gang Wu 007; Ye Yuan 001; Lei Chen 002; Xiang Lian 001 (IEEE Trans. Knowl. Data Eng., 2021)

Fast and Accurate SimRank Computation via Forward Local Push and its Parallelization. - Yue Wang 012; Yulin Che; Xiang Lian 001; Lei Chen 002; Qiong Luo 001 (IEEE Trans. Knowl. Data Eng., 2021)

MonitorLight: Reinforcement Learning-based Traffic Signal Control Using Mixed Pressure Monitoring. - Zekuan Fang; Fan Zhang; Ting Wang 001; Xiang Lian 001; Mingsong Chen 001 (CIKM, 2022)

Top-k Community Similarity Search Over Large-Scale Road Networks (Technical Report). - Niranjan Rai; Xiang Lian 001 (CoRR, 2022)

Learning-Based Data Storage [Vision] (Technical Report). - Xiang Lian 001; Xiaofei Zhang (CoRR, 2022)

kt-Safety: Graph Release via k-Anonymity and t-Closeness (Technical Report). - Weilong Ren 002; Kambiz Ghazinour; Xiang Lian 001 (CoRR, 2022)

Efficient Processing of Group Planning Queries Over Spatial-Social Networks. - Ahmed Al-Baghdadi; Gokarna Sharma; Xiang Lian 001 (IEEE Trans. Knowl. Data Eng., 2022)

Maximizing the Utility in Location-Based Mobile Advertising. - Peng Cheng 003; Xiang Lian 001; Lei Chen 002; Siyuan Liu 001 (IEEE Trans. Knowl. Data Eng., 2022)

Distributed Multimodal Path Queries. - Yawen Li 001; Ye Yuan 001; Yishu Wang 001; Xiang Lian 001; Yuliang Ma 001; Guoren Wang (IEEE Trans. Knowl. Data Eng., 2022)

FedEntropy: Efficient Federated Learning for Non-IID Scenarios Using Maximum Entropy Judgment-based Client Selection. - Zhiwei Ling; Zhihao Yue; Jun Xia 003; Ting Wang 001; Mingsong Chen 001; Xiang Lian 001 (ISPA/BDCloud/SocialCom/SustainCom, 2023)

Efficient Processing of Group Planning Queries Over Spatial-Social Networks (Extended Abstract). - Ahmed Al-Baghdadi; Gokarna Sharma; Xiang Lian 001 (ICDE, 2023)

InitLight: Initial Model Generation for Traffic Signal Control Using Adversarial Inverse Reinforcement Learning. - Yutong Ye 001; Yingbo Zhou; Jiepin Ding; Ting Wang 001; Mingsong Chen 001; Xiang Lian 001 (IJCAI, 2023)

Efficient Exact Subgraph Matching via GNN-based Path Dominance Embedding (Technical Report). - Yutong Ye 001; Xiang Lian 001; Mingsong Chen 001 (CoRR, 2023)

Top-L Most Influential Community Detection Over Social Networks (Technical Report). - Nan Zhang 019; Yutong Ye 001; Xiang Lian 001; Mingsong Chen 001 (CoRR, 2023)

Triangular Stability Maximization by Influence Spread over Social Networks. - Zheng Hu 005; Weiguo Zheng; Xiang Lian 001 (Proc. VLDB Endow., 2023)

Range-constrained probabilistic mutual furthest neighbor queries in uncertain databases. - Kovan Bavi; Xiang Lian 001 (Knowl. Inf. Syst., 2023)

$kt$-Safety: Graph Release via $k$-Anonymity and $t$-Closeness. - Weilong Ren 002; Kambiz Ghazinour; Xiang Lian 001 (IEEE Trans. Knowl. Data Eng., 2023)

Top-$k$ Community Similarity Search Over Large-Scale Road Networks. - Niranjan Rai; Xiang Lian 001 (IEEE Trans. Knowl. Data Eng., 2023)

Distributed probabilistic top-k dominating queries over uncertain databases. - Niranjan Rai; Xiang Lian 001 (Knowl. Inf. Syst., 2023)

FedCross: Towards Accurate Federated Learning via Multi-Model Cross-Aggregation. - Ming Hu 003; Peiheng Zhou; Zhihao Yue; Zhiwei Ling; Yihao Huang 001; Anran Li 001; Yang Liu 003; Xiang Lian 001; Mingsong Chen 001 (ICDE, 2024)

Top-L Most Influential Community Detection Over Social Networks. - Nan Zhang 019; Yutong Ye 001; Xiang Lian 001; Mingsong Chen 001 (ICDE, 2024)

Is Aggregation the Only Choice? Federated Learning via Layer-wise Model Recombination. - Ming Hu 003; Zhihao Yue; Xiaofei Xie; Cheng Chen 015; Yihao Huang 001; Xian Wei; Xiang Lian 001; Yang Liu 003; Mingsong Chen 001 (KDD, 2024)

Reverse Influential Community Search Over Social Networks (Technical Report). - Qi Wen 002; Nan Zhang 019; Yutong Ye 001; Xiang Lian 001; Mingsong Chen 001 (CoRR, 2024)

Dynamic Subgraph Matching via Cost-Model-based Vertex Dominance Embeddings (Technical Report). - Yutong Ye 001; Xiang Lian 001; Nan Zhang 019; Mingsong Chen 001 (CoRR, 2024)

GCLS2: Towards Efficient Community Detection using Graph Contrastive Learning with Structure Semantics. - Qi Wen 002; Yiyang Zhang; Yutong Ye 001; Yingbo Zhou; Nan Zhang 019; Xiang Lian 001; Mingsong Chen 001 (CoRR, 2024)

Effective Community Detection Over Streaming Bipartite Networks (Technical Report). - Nan Zhang 019; Yutong Ye 001; Yuyang Wang; Xiang Lian 001; Mingsong Chen 001 (CoRR, 2024)

HERO: A Hierarchical Set Partitioning and Join Framework for Speeding up the Set Intersection Over Graphs. - Boyu Yang 003; Weiguo Zheng; Xiang Lian 001; Yuzheng Cai; X. Sean Wang (Proc. ACM Manag. Data, 2024)

Efficient Exact Subgraph Matching via GNN-based Path Dominance Embedding. - Yutong Ye 001; Xiang Lian 001; Mingsong Chen 001 (Proc. VLDB Endow., 2024)

Numerical Estimation of Spatial Distributions Under Differential Privacy. - Leilei Du; Peng Cheng 003; Libin Zheng; Xiang Lian 001; Lei Chen 002; Wei Xi; Wangze Ni (ICDE, 2025)

Space-Efficient Compact Representations for Graph Analytics. - Boyu Yang 003; Weiguo Zheng; Xiang Lian 001; Lingfei Zheng (ICDE, 2025)

Efficient Multiple Temporal Network Kernel Density Estimation. - Yu Shao; Peng Cheng 003; Xiang Lian 001; Lei Chen 002; Wangze Ni; Xuemin Lin 001; Chen Zhang 013; Liping Wang 015 (CoRR, 2025)

FitLight: Federated Imitation Learning for Plug-and-Play Autonomous Traffic Signal Control. - Yutong Ye 001; Yingbo Zhou; Zhusen Liu; Xiao Du; Hao Zhou; Xiang Lian 001; Mingsong Chen 001 (CoRR, 2025)

S3AND: Efficient Subgraph Similarity Search Under Aggregated Neighbor Difference Semantics (Technical Report). - Qi Wen 002; Yutong Ye 001; Xiang Lian 001; Mingsong Chen 001 (CoRR, 2025)