Summary of Set-based Training For Neural Network Verification, by Lukas Koller et al.
Set-Based Training for Neural Network Verificationby Lukas Koller, Tobias Ladner, Matthias AlthoffFirst submitted to arxiv…
Set-Based Training for Neural Network Verificationby Lukas Koller, Tobias Ladner, Matthias AlthoffFirst submitted to arxiv…
SliceGPT: Compress Large Language Models by Deleting Rows and Columnsby Saleh Ashkboos, Maximilian L. Croci,…
Diffusion Stochastic Optimization for Min-Max Problemsby Haoyuan Cai, Sulaiman A. Alghunaim, Ali H. SayedFirst submitted…
Off-Policy Primal-Dual Safe Reinforcement Learningby Zifan Wu, Bo Tang, Qian Lin, Chao Yu, Shangqin Mao,…
Scilab-RL: A software framework for efficient reinforcement learning and cognitive modeling researchby Jan Dohmen, Frank…
Bayesian Optimization through Gaussian Cox Process Models for Spatio-temporal Databy Yongsheng Mei, Mahdi Imani, Tian…
Class-attribute Priors: Adapting Optimization to Heterogeneity and Fairness Objectiveby Xuechen Zhang, Mingchen Li, Jiasi Chen,…
Generating Likely Counterfactuals Using Sum-Product Networksby Jiri Nemecek, Tomas Pevny, Jakub MarecekFirst submitted to arxiv…
NACHOS: Neural Architecture Search for Hardware Constrained Early Exit Neural Networksby Matteo Gambella, Jary Pomponi,…
Explainable Bayesian Optimizationby Tanmay Chakraborty, Christin Seifert, Christian WirthFirst submitted to arxiv on: 24 Jan…