conftrace_

Papers

20,003 papers found · 10 more still awaiting a processed abstract Show those too
2024 AAAI
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs
Olaf Beyersdorff, Benjamin Böhm, Meena Mahajan
2024 AAAI
2024 AAAI
2024 AAAI
SA²VP: Spatially Aligned-and-Adapted Visual Prompt
Wenjie Pei, Tongqi Xia, Fanglin Chen et al.
2024 AAAI
Safe Abductive Learning in the Presence of Inaccurate Rules
Xiao-Wen Yang, Jie-Jing Shao, Wei-Wei Tu et al.
2024 AAAI
SafeAR: Safe Algorithmic Recourse by Risk-Aware Policies
Haochen Wu, Shubham Sharma, Sunandita Patra et al.
2024 AAAI
SALSA: Semantically-Aware Latent Space Autoencoder
Kathryn E. Kirchoff, Travis Maxfield, Alexander Tropsha et al.
2024 AAAI
SAME: Sample Reconstruction against Model Extraction Attacks
Yi Xie, Jie Zhang, Shiqian Zhao et al.
2024 AAAI
2024 AAAI
Sample-and-Bound for Non-convex Optimization
Yaoguang Zhai, Zhizhen Qin, Sicun Gao
2024 AAAI
Sample-Constrained Black Box Optimization for Audio Personalization
Rajalaxmi Rajagopalan, Yu-Lin Wei, Romit Roy Choudhury
2024 AAAI
Sample Efficient Reinforcement Learning with Partial Dynamics Knowledge
Meshal Alharbi, Mardavij Roozbehani, Munther Dahleh
2024 AAAI
Sampling for Beyond-Worst-Case Online Ranking
Qingyun Chen, Sungjin Im, Benjamin Moseley et al.
2024 AAAI
Sampling-Resilient Multi-Object Tracking
Zepeng Li, Dongxiang Zhang, Sai Wu et al.
2024 AAAI
SAT-Based Algorithms for Regular Graph Pattern Matching
Miguel Terra-Neves, José Amaral, Alexandre Lemos et al.
2024 AAAI