Summary of Neural Network Verification with Branch-and-bound For General Nonlinearities, by Zhouxing Shi et al.
Neural Network Verification with Branch-and-Bound for General Nonlinearitiesby Zhouxing Shi, Qirui Jin, Zico Kolter, Suman…
Neural Network Verification with Branch-and-Bound for General Nonlinearitiesby Zhouxing Shi, Qirui Jin, Zico Kolter, Suman…
What Makes CLIP More Robust to Long-Tailed Pre-Training Data? A Controlled Study for Transferable Insightsby…
Persian Homograph Disambiguation: Leveraging ParsBERT for Enhanced Sentence Understanding with a Novel Word Disambiguation Datasetby…
Pursuing Overall Welfare in Federated Learning through Sequential Decision Makingby Seok-Ju Hahn, Gi-Soo Kim, Junghye…
Online Convex Optimisation: The Optimal Switching Regret for all Segmentations Simultaneouslyby Stephen Pasteris, Chris Hicks,…
Rethinking Open-World Semi-Supervised Learning: Distribution Mismatch and Inductive Inferenceby Seongheon Park, Hyuk Kwon, Kwanghoon Sohn,…
Self-Augmented Preference Optimization: Off-Policy Paradigms for Language Model Alignmentby Yueqin Yin, Zhendong Wang, Yujia Xie,…
Outliers and Calibration Sets have Diminishing Effect on Quantization of Modern LLMsby Davide Paglieri, Saurabh…
einspace: Searching for Neural Architectures from Fundamental Operationsby Linus Ericsson, Miguel Espinosa, Chenhongyi Yang, Antreas…
Enhancing Efficiency of Safe Reinforcement Learning via Sample Manipulationby Shangding Gu, Laixi Shi, Yuhao Ding,…