Theory

Statistical Foundations of Prior-Data Fitted Networks ICML 2023 Statistical Robustness of Empirical Risks in Machine Learning JMLR 2023 Stochastic Population Update Can Provably Be Helpful in Multi-Objective Evolutionary Algorithms IJCAI 2023 Strategic Data Sharing between Competitors NeurIPS 2023 Strategic Distribution Shift of Interacting Agents via Coupled Gradient Flows NeurIPS 2023 Structural generalization in COGS: Supertagging is (almost) all you need EMNLP 2023 Structurally Restricted Fragments of Numeric Planning – a Complexity Analysis AAAI 2023 Structured Prediction with Stronger Consistency Guarantees NeurIPS 2023 Structure of universal formulas NeurIPS 2023 Studying the Effect of GNN Spatial Convolutions On The Embedding Space’s Geometry UAI 2023 Sub-optimality of the Naive Mean Field approximation for proportional high-dimensional Linear Regression NeurIPS 2023 SugarCrepe: Fixing Hackable Benchmarks for Vision-Language Compositionality NeurIPS 2023 Survival Instinct in Offline Reinforcement Learning NeurIPS 2023 SUT: Active Defects Probing for Transcompiler Models EMNLP 2023 Symmetries, Flat Minima, and the Conserved Quantities of Gradient Flow ICLR 2023 Synchronization and Diversity of Solutions AAAI 2023 Tangent Sampson Error: Fast Approximate Two-view Reprojection Error for Central Camera Models ICCV 2023 TD Convergence: An Optimization Perspective NeurIPS 2023 TELeR: A General Taxonomy of LLM Prompts for Benchmarking Complex Tasks EMNLP 2023 Test Coverage for Network Configurations NSDI 2023 Testing of Horn Samplers AISTATS 2023 Testing of Index-Invariant Properties in the Huge Object Model COLT 2023 Testing the Channels of Convolutional Neural Networks AAAI 2023 TextVerifier: Robustness Verification for Textual Classifiers with Certifiable Guarantees ACL 2023 The Adversarial Consistency of Surrogate Risks for Binary Classification NeurIPS 2023