Papers
Adaptive Graph Unlearning
Pengfei Ding, Yan Wang, Guanfeng Liu et al.
HyperDet: Source Detection in Hypergraphs via Interactive Relationship Construction and Feature-rich Attention Fusion
Le Cheng, Peican Zhu, Yangming Guo et al.
SourceDetMamba: A Graph-aware State Space Model for Source Detection in Sequential Hypergraphs
Le Cheng, Peican Zhu, Yangming Guo et al.
A Novel Sparse Active Online Learning Framework for Fast and Accurate Streaming Anomaly Detection Over Data Streams
Zhong Chen, Yi He, Di Wu et al.
FCKT: Fine-Grained Cross-Task Knowledge Transfer with Semantic Contrastive Learning for Targeted Sentiment Analysis
Wei Chen, Zhao Zhang, Meng Yuan et al.
Antibody Design and Optimization with Multi-scale Equivariant Graph Diffusion Models for Accurate Complex Antigen Binding
Jiameng Chen, Xiantao Cai, Jia Wu et al.
GPL4SRec: Graph Multi-Level Aware Prompt Learning for Streaming Recommendation
Hao Cang, Huanhuan Yuan, Jiaqing Fan et al.
AKBR: Learning Adaptive Kernel-based Representations for Graph Classification
Lu Bai, Feifei Qian, Lixin Cui et al.
Empowering Multimodal Road Traffic Profiling with Vision Language Models and Frequency Spectrum Fusion
Haolong Xiang, Xiaolong Xu, Guangdong Wang et al.
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation
Jeroen Spaans, Jesse Heyninck
New Sequence-Independent Lifting Techniques for Cover Inequalities and When They Induce Facets
Siddharth Prasad, Ellen Vitercik, Maria-Florina Balcan et al.
New Algorithms for #2-SAT and #3-SAT
Junqiang Peng, Zimo Sheng, Mingyu Xiao
Guiding Large Language Models in Modeling Optimization Problems via Question Partitioning
Xiaotian Pan, Junhao Fang, Feng Wu et al.
An Efficient Core-Guided Solver for Weighted Partial MaxSAT
Shiwei Pan, Yiyuan Wang, Shaowei Cai
Efficient and Rigorous Model-Agnostic Explanations
Joao Marques-Silva, Jairo A. Lefebre-Lobaina, Maria Vanina Martinez
Constrained Sequential Inference in Machine Learning Using Constraint Programming
Virasone Manibod, David Saikali, Gilles Pesant
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems
Zhengyu Li, Conor Duggan, Curtis Bright et al.
Bimodal Depth-First Search for Scalable GAC for AllDifferent
Sulian Le Bozec-Chiffoleau, Nicolas Beldiceanu, Charles Prud'homme et al.
A SAT-based Method for Counting All Singleton Attractors in Boolean Networks
Rei Higuchi, Takehide Soh, Daniel Le Berre et al.
Privacy Preserving Solution of DCOPs by Local Search
Shmuel Goldklang, Tal Grinshpoun, Tamir Tassa
Preference Elicitation for Multi-objective Combinatorial Optimization with Active Learning and Maximum Likelihood Estimation
Marianne Defresne, Jayanta Mandi, Tias Guns
Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problems
Junyang Cai, Serdar Kadioğlu, Bistra Dilkina
Learning Optimal Oblique Decision Trees with (Max)SAT
Florent Avellaneda
Top-Down Guidance for Learning Object-Centric Representations
Junhong Zou, Xiangyu Zhu, Zhaoxiang Zhang et al.