Papers
RFENet: Towards Reciprocal Feature Evolution for Glass Segmentation
Ke Fan, Changan Wang, Yabiao Wang et al.
Robust Image Ordinal Regression with Controllable Image Generation
Yi Cheng, Haochao Ying, Renjun Hu et al.
Robust Reinforcement Learning via Progressive Task Sequence
Yike Li, Yunzhe Tian, Endong Tong et al.
Robust Steganography without Embedding Based on Secure Container Synthesis and Iterative Message Recovery
Ziping Ma, Yuesheng Zhu, Guibo Luo et al.
Rubik's Optical Neural Networks: Multi-task Learning with Physics-aware Rotation Architecture
Yingjie Li, Weilu Gao, Cunxi Yu
RuleMatch: Matching Abstract Rules for Semi-supervised Learning of Human Standard Intelligence Tests
Yunlong Xu, Lingxiao Yang, Hongzhi You et al.
Runtime Analyses of Multi-Objective Evolutionary Algorithms in the Presence of Noise
Matthieu Dinot, Benjamin Doerr, Ulysse Hennebelle et al.
RZCR: Zero-shot Character Recognition via Radical-based Reasoning
Xiaolei Diao, Daqian Shi, Hao Tang et al.
SAD: Semi-Supervised Anomaly Detection on Dynamic Graphs
Sheng Tian, Jihai Dong, Jintang Li et al.
Safe Multi-agent Learning via Trapping Regions
Aleksander Czechowski, Frans A. Oliehoek
Safe Reinforcement Learning via Probabilistic Logic Shields
Wen-Chi Yang, Giuseppe Marra, Gavin Rens et al.
Safety Verification and Universal Invariants for Relational Action Bases
Silvio Ghilardi, Alessandro Gianola, Marco Montali et al.
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract)
Radu Ciucanu, Pascal Lafourcade, Gael Marcadet et al.
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees
Daqian Shao, Marta Kwiatkowska
Sampling Ex-Post Group-Fair Rankings
Sruthi Gorantla, Amit Deshpande, Anand Louis
Sancus: Staleness-Aware Communication-Avoiding Full-Graph Decentralized Training in Large-Scale Graph Neural Networks (Extended Abstract)
Jingshu Peng, Zhao Chen, Yingxia Shao et al.
SAT-Based PAC Learning of Description Logic Concepts
Balder ten Cate, Maurice Funk, Jean Christoph Jung et al.
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)
Miquel Bofill, Jordi Coll, Peter Nightingale et al.
Scalable Communication for Multi-Agent Reinforcement Learning via Transformer-Based Email Mechanism
Xudong Guo, Daming Shi, Wenhui Fan
Scalable Coupling of Deep Learning with Logical Reasoning
Marianne Defresne, Sophie Barbe, Thomas Schiex
Scalable Optimal Margin Distribution Machine
Yilin Wang, Nan Cao, Teng Zhang et al.
Scalable Verification of Strategy Logic through Three-Valued Abstraction
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga et al.
Scaling Goal-based Exploration via Pruning Proto-goals
Akhil Bagaria, Tom Schaul
Schelling Games with Continuous Types
Davide Bilò, Vittorio Bilò, Michelle Döring et al.