Algorithms

Auditable Algorithms for Approximate Model Counting AAAI 2024 Automatically Reasoning About How Systems Code Uses the CPU Cache OSDI 2024 Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning AAAI 2024 Barely Random Algorithms and Collective Metrical Task Systems NeurIPS 2024 Beam-search SIEVE for low-memory speech recognition Interspeech 2024 Binary Search with Distributional Predictions NeurIPS 2024 Can a Few Decide for Many? The Metric Distortion of Sortition ICML 2024 Challenges of Generating Structurally Diverse Graphs NeurIPS 2024 Clustering with Non-adaptive Subset Queries NeurIPS 2024 Colour Passing Revisited: Lifted Model Construction with Commutative Factors AAAI 2024 Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework AAAI 2024 Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae AAAI 2024 Consistent Submodular Maximization ICML 2024 Deep Homomorphism Networks NeurIPS 2024 Delegation-Relegation for Boolean Matrix Factorization AAAI 2024 Determining Winners in Elections with Absent Votes IJCAI 2024 Differentially Private Set Representations NeurIPS 2024 Disjoint Partial Enumeration without Blocking Clauses AAAI 2024 DNCs Require More Planning Steps ICML 2024 Double Auction on Diffusion Network AAAI 2024 Dynamic Facility Location in High Dimensional Euclidean Spaces ICML 2024 Dynamic Metric Embedding into lp Space ICML 2024 Efficient Algorithms for Attributed Graph Alignment with Vanishing Edge Correlation Extended Abstract COLT 2024 Efficient Centroid-Linkage Clustering NeurIPS 2024 Efficient Detection of Commutative Factors in Factor Graphs PGM 2024