Foundations

The Expressive Capacity of State Space Models: A Formal Language Perspective NeurIPS 2024 The Fundamental Limits of Least-Privilege Learning ICML 2024 The Merit of River Network Topology for Neural Flood Forecasting ICML 2024 Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover AAAI 2024 The power of an adversary in Glauber dynamics COLT 2024 The Predicted-Updates Dynamic Model: Offline, Incremental, and Decremental to Fully Dynamic Transformations COLT 2024 The Swedish Parliament Corpus 1867 – 2022 COLING 2024 Thresholds for Reconstruction of Random Hypergraphs From Graph Projections COLT 2024 Time–Approximation Trade-Offs for Learning Bayesian Networks PGM 2024 Time Fairness in Online Knapsack Problems ICLR 2024 Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024 Towards Optimal Subsidy Bounds for Envy-Freeable Allocations AAAI 2024 Training and Cross-Validating Machine Learning Pipelines with Limited Memory AutoML 2024 Transformers, parallel computation, and logarithmic depth ICML 2024 TutteNet: Injective 3D Deformations by Composition of 2D Mesh Deformations CVPR 2024 UGC: Universal Graph Coarsening NeurIPS 2024 Unifying Decision and Function Queries in Stochastic Boolean Satisfiability AAAI 2024 Union Subgraph Neural Networks AAAI 2024 Universal Weak Coreset AAAI 2024 Unmasking Vulnerabilities: Cardinality Sketches under Adaptive Inputs ICML 2024 Unravelling Expressive Delegations: Complexity and Normative Analysis AAAI 2024 Using Clustering to Strengthen Decision Diagram Bounds for Discrete Optimization AAAI 2024 Using Symmetries to Lift Satisfiability Checking AAAI 2024 Verified Code Transpilation with LLMs NeurIPS 2024 Warm-starting Push-Relabel NeurIPS 2024