| 2024 | Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties. | S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic |
| 2024 | Contrastive Transformer Masked Image Hashing for Degraded Image Retrieval. | Xiaobo Shen, Haoyu Cai, Xiuwen Gong, Yuhui Zheng |
| 2024 | Methods for recovering conditional independence graphs (Abstract Reprint). | Harsh Shrivastava, Urszula Chajewska |
| 2024 | Large Language Models for Time Series: A Survey. | Xiyuan Zhang, Ranak Roy Chowdhury, Rajesh K. Gupta, Jingbo Shang |
| 2024 | Contract Scheduling with Distributional and Multiple Advice. | Spyros Angelopoulos, Marcin Bienkowski, Christoph Drr, Bertrand Simon |
| 2024 | Online Learning of Partitions in Additively Separable Hedonic Games. | Saar Cohen, Noa Agmon |
| 2024 | Formal Argumentation in Symbolic AI. | Markus Ulbricht |
| 2024 | A Little of That Human Touch: Achieving Human-Centric Explainable AI via Argumentation. | Antonio Rago |
| 2024 | Towards a Theory of Machine Learning on Graphs and its Applications in Combinatorial Optimization. | Christopher Morris |
| 2024 | Hierarchical Decompositions and Termination Analysis for Generalized Planning (Abstract Reprint). | Siddharth Srivastava |
| 2024 | How Hard Is It to Impact the Impact of Your Paper? | Yongjie Yang |
| 2024 | Quality-Diversity Algorithms Can Provably Be Helpful for Optimization. | Chao Qian, Ke Xue, Ren-Jian Wang |
| 2024 | Improved Approximation Algorithms for Capacitated Location Routing. | Jingyang Zhao, Mingyu Xiao, Shunwang Wang |
| 2024 | SVD-AE: Simple Autoencoders for Collaborative Filtering. | Seoyoung Hong, Jeongwhan Choi, Yeon-Chang Lee, Srijan Kumar, Noseong Park |
| 2024 | Graph Collaborative Expert Finding with Contrastive Learning. | Qiyao Peng, Wenjun Wang, Hongtao Liu, Cuiying Huo, Minglai Shao |
| 2024 | Real-World Networks Are Low-Dimensional: Theoretical and Practical Assessment. | Tobias Friedrich, Andreas Gbel, Maximilian Katzmann, Leon Schiller |
| 2024 | A Survey on Extractive Knowledge Graph Summarization: Applications, Approaches, Evaluation, and Future Directions. | Xiaxia Wang, Gong Cheng |
| 2024 | A Better Approximation for Bipartite Traveling Tournament in Inter-League Sports Scheduling. | Jingyang Zhao, Mingyu Xiao |
| 2024 | A Fast Algorithm for MaxSAT above Half Number of Clauses. | Junqiang Peng, Mingyu Xiao |
| 2023 | Towards Accurate Video Text Spotting with Text-wise Semantic Reasoning. | Xinyan Zu, Haiyang Yu, Bin Li, Xiangyang Xue |
| 2023 | Optimization-driven Demand Prediction Framework for Suburban Dynamic Demand-Responsive Transport Systems. | Louis Zigrand, Roberto Wolfler Calvo, Emiliano Traversi, Pegah Alizadeh |
| 2023 | Prediction with Incomplete Data under Agnostic Mask Distribution Shift. | Yichen Zhu, Jian Yuan, Bo Jiang, Tao Lin, Haiming Jin, Xinbing Wang, Chenghu Zhou |
| 2023 | Hierarchical Transformer for Scalable Graph Learning. | Wenhao Zhu, Tianyu Wen, Guojie Song, Xiaojun Ma, Liang Wang |
| 2023 | Towards Long-delayed Sparsity: Learning a Better Transformer through Reward Redistribution. | Tianchen Zhu, Yue Qiu, Haoyi Zhou, Jianxin Li |
| 2023 | Efficient Multi-View Inverse Rendering Using a Hybrid Differentiable Rendering Method. | Xiangyang Zhu, Yiling Pan, Bailin Deng, Bin Wang |