Search

Search Results

• Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking

  Kailun Luo

  6475-6482

  2023-06-26

• Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals

  Przemysław A. Wałęga, Michał Zawidzki, Dingmin Wang, Bernardo Cuenca Grau

  6566-6574

  2023-06-26

• MobileTL: On-Device Transfer Learning with Inverted Residual Blocks

  Hung-Yueh Chiang, Natalia Frumkin, Feng Liang, Diana Marculescu

  7166-7174

  2023-06-26

• End-to-End Learning for Optimization via Constraint-Enforcing Approximators

  Rares Cristian, Pavithra Harsha, Georgia Perakis, Brian L Quanz, Ioannis Spantidakis

  7253-7260

  2023-06-26

• Popularizing Fairness: Group Fairness and Individual Welfare

  Andrew Estornell, Sanmay Das, Brendan Juba, Yevgeniy Vorobeychik

  7485-7493

  2023-06-26

• Confidence-Aware Training of Smoothed Classifiers for Certified Robustness

  Jongheon Jeong, Seojin Kim, Jinwoo Shin

  8005-8013

  2023-06-26

• Robust Domain Adaptation for Machine Reading Comprehension

  Liang Jiang, Zhenyu Huang, Jia Liu, Zujie Wen, Xi Peng

  8060-8069

  2023-06-26

• Deep Visual Forced Alignment: Learning to Align Transcription with Talking Face Video

  Minsu Kim, Chae Won Kim, Yong Man Ro

  8273-8281

  2023-06-26

• Predictive Exit: Prediction of Fine-Grained Early Exits for Computation- and Energy-Efficient Inference

  Xiangjie Li, Chenfei Lou, Yuchi Chen, Zhengping Zhu, Yingtao Shen, Yehan Ma, An Zou

  8657-8665

  2023-06-26

• Towards Inference Efficient Deep Ensemble Learning

  Ziyue Li, Kan Ren, Yifan Yang, Xinyang Jiang, Yuqing Yang, Dongsheng Li

  8711-8719

  2023-06-26

• Q-functionals for Value-Based Continuous Control

  Samuel Lobel, Sreehari Rammohan, Bowen He, Shangqun Yu, George Konidaris

  8932-8939

  2023-06-26

• Information-Theoretic Causal Discovery and Intervention Detection over Multiple Environments

  Osman Mian, Michael Kamp, Jilles Vreeken

  9171-9179

  2023-06-26

• Adaptive Perturbation-Based Gradient Estimation for Discrete Latent Variable Models

  Pasquale Minervini, Luca Franceschi, Mathias Niepert

  9200-9208

  2023-06-26

• Provably Efficient Causal Model-Based Reinforcement Learning for Systematic Generalization

  Mirco Mutti, Riccardo De Santi, Emanuele Rossi, Juan Felipe Calderon, Michael Bronstein, Marcello Restelli

  9251-9259

  2023-06-26

• FedMDFG: Federated Learning with Multi-Gradient Descent and Fair Guidance

  Zibin Pan, Shuyi Wang, Chi Li, Haijin Wang, Xiaoying Tang, Junhua Zhao

  9364-9371

  2023-06-26

• Balanced Column-Wise Block Pruning for Maximizing GPU Parallelism

  Cheonjun Park, Mincheol Park, Hyun Jae Oh, Minkyu Kim, Myung Kuk Yoon, Suhyun Kim, Won Woo Ro

  9398-9407

  2023-06-26

• Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI

  Suzanna Sia, Anton Belyy, Amjad Almahairi, Madian Khabsa, Luke Zettlemoyer, Lambert Mathias

  9837-9845

  2023-06-26

• Deep Attentive Model for Knowledge Tracing

  Xinping Wang, Liangyu Chen, Min Zhang

  10192-10199

  2023-06-26

• Correspondence-Free Domain Alignment for Unsupervised Cross-Domain Image Retrieval

  Xu Wang, Dezhong Peng, Ming Yan, Peng Hu

  10200-10208

  2023-06-26

• Differentially Private Learning with Per-Sample Adaptive Clipping

  Tianyu Xia, Shuheng Shen, Su Yao, Xinyi Fu, Ke Xu, Xiaolong Xu, Xing Fu

  10444-10452

  2023-06-26

• Transfer Learning Enhanced DeepONet for Long-Time Prediction of Evolution Equations

  Wuzhe Xu, Yulong Lu, Li Wang

  10629-10636

  2023-06-26

• Computably Continuous Reinforcement-Learning Objectives Are PAC-Learnable

  Cambridge Yang, Michael Littman, Michael Carbin

  10729-10736

  2023-06-26

• Locate Then Generate: Bridging Vision and Language with Bounding Box for Scene-Text VQA

  Yongxin Zhu, Zhen Liu, Yukang Liang, Xin Li, Hao Liu, Changcun Bao, Linli Xu

  11479-11487

  2023-06-26

• Reward-Based Negotiating Agent Strategies

  Ryota Higa, Katsuhide Fujita, Toki Takahashi, Takumu Shimizu, Shinji Nakadai

  11569-11577

  2023-06-26

• Formal Verification of Bayesian Mechanisms

  Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

  11621-11629

  2023-06-26