Papers
12,718 papers found
CSP4SDG: Constraint and Information-Theory Based Role Identification in Social Deduction Games with LLM-Enhanced Inference
Kaijie Xu, Fandi Meng, Clark Verbrugge et al.
Relational Verification for Cost-Aware Quantum Program Optimization
Ziming Zhao, Tingting Li, Zhaoxuan Li et al.
NTSFormer: A Self-Teaching Graph Transformer for Multimodal Isolated Cold-Start Node Classification
Jun Hu, Yufei He, Yuan Li et al.
Unbiased Rectification for Sequential Recommender Systems Under Fake Orders
Qiyu Qin, Yichen Li, Haozhao Wang et al.
DRSoRec: Dual-Rectification of Social Networks for Recommendation
Liangxun Yang, Tianzi Zang, Jiayi Sun et al.
Neural Graph Navigation for Intelligent Subgraph Matching
Yuchen Ying, Yiyang Dai, Wenda Li et al.
Evidence-aware Integration and Domain Identification of Spatial Transcriptomics Data
Wei Zhang, Siyu Yi, Lezhi Chen et al.
MusicRec: Multi-modal Semantic-Enhanced Identifier with Collaborative Signals for Generative Recommendation
Yuqiu Zhao, Lei Shi, Yan Zhong et al.
Uplift Modeling with Delayed Feedback: Identifiability and Algorithms
Chunyuan Zheng, Anpeng Wu, Chuan Zhou et al.
Computing Equilibrium Nominations in Presidential Elections
Piotr Faliszewski, Stanisław Kaźmierowski, Grzegorz Lisowski et al.
Identifying Imperfect Clones in Elections
Piotr Faliszewski, Łukasz Janeczko, Grzegorz Lisowski et al.
Minimizing Inequity in Facility Location Games
Yuhang Guo, Houyu Zhou
Fair and Efficient Balanced Allocation for Indivisible Goods
Yasushi Kawase, Ryoga Mahara
EFX Allocation in (Multi)Hypergraphs
Thanasis Lianeas, Alkmini Sgouritsa, Minas Marios Sotiriou
Position Fair Mechanisms Allocating Indivisible Goods
Ryoga Mahara, Ryuhei Mizutani, Taihei Oki et al.
The Publication Choice Problem
Haichuan Wang, Yifan Wu, Haifeng Xu
EPIC: Explanation of Pretrained Image Classification Networks via Prototypes
Piotr Borycki, Magdalena Trędowicz, Szymon Janusz et al.
GATCL: An Adaptive Contrastive Learning Framework Based on MHGAT for Spatial Domain Identification in Spatial Transcriptomics
Shilin Zhang, Weiliang Huo, Qingchen Zhang et al.
SemanticVLA: Semantic-Aligned Sparsification and Enhancement for Efficient Robotic Manipulation
Wei Li, Renshan Zhang, Rui Shao et al.
Efficient Rule Induction by Ignoring Pointless Rules
Andrew Cropper, David M. Cerna
Formal Verification of Diffusion Auctions
Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel
Rational Revision of Group Intentions
Nima Motamed, Natasha Alechina, Mehdi Dastani et al.
A Knowledge Compilation Map for Quantum Information
Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman
Expressive Temporal Specifications for Reward Monitoring
Omar Adalat, Francesco Belardinelli
RefiDiff: Progressive Refinement Diffusion for Efficient Missing Data Imputation
Md Atik Ahamed, Qiang Ye, Qiang Cheng