Foundations

Entropy Coding of Unordered Data Structures ICLR 2024 Epistemic Logic Programs: Non-Ground and Counting Complexity IJCAI 2024 Equilibrium Computation in Multidimensional Congestion Games: CSP and Learning Dynamics Approaches UAI 2024 Equivalence Testing: The Power of Bounded Adaptivity AISTATS 2024 Errors are Robustly Tamed in Cumulative Knowledge Processes COLT 2024 Euclidean distance compression via deep random features NeurIPS 2024 Even Sparser Graph Transformers NeurIPS 2024 Exact ASP Counting with Compact Encodings AAAI 2024 Fast Dynamic Sampling for Determinantal Point Processes AISTATS 2024 Faster Spectral Density Estimation and Sparsification in the Nuclear Norm (Extended Abstract) COLT 2024 Faster Streaming and Scalable Algorithms for Finding Directed Dense Subgraphs in Large Graphs ICML 2024 Fast Exact Retrieval for Nearest-neighbor Lookup (FERN) NAACL 2024 FastMAC: Stochastic Spectral Sampling of Correspondence Graph CVPR 2024 Fast parallel sampling under isoperimetry COLT 2024 Finding Super-spreaders in Network Cascades COLT 2024 First Passage Percolation with Queried Hints AISTATS 2024 Fitting Flats to Flats CVPR 2024 Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024 Friendly Attacks to Improve Channel Coding Reliability AAAI 2024 From Graphs to Hypergraphs: Hypergraph Projection and its Reconstruction ICLR 2024 Functional Directed Acyclic Graphs JMLR 2024 Functionally Constrained Algorithm Solves Convex Simple Bilevel Problem NeurIPS 2024 Gap-Free Clustering: Sensitivity and Robustness of SDP COLT 2024 GC-Bench: An Open and Unified Benchmark for Graph Condensation NeurIPS 2024 GenCO: Generating Diverse Designs with Combinatorial Constraints ICML 2024