Foundations

Auditable Algorithms for Approximate Model Counting AAAI 2024 A Unified Characterization of Private Learnability via Graph Theory COLT 2024 AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints ACL 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 Biharmonic Distance of Graphs and its Higher-Order Variants: Theoretical Properties with Applications to Centrality and Clustering ICML 2024 Binary Search with Distributional Predictions NeurIPS 2024 Bipartite Matching in Massive Graphs: A Tight Analysis of EDCS ICML 2024 Building a Broad Infrastructure for Uniform Meaning Representations COLING 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 Community detection in the hypergraph stochastic block model and reconstruction on hypertrees COLT 2024 Comparing Graph Transformers via Positional Encodings ICML 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 Contrastive General Graph Matching with Adaptive Augmentation Sampling IJCAI 2024 Correct and Optimal: The Regular Expression Inference Challenge IJCAI 2024 Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024 Deep Homomorphism Networks NeurIPS 2024 Deep Neural Networks via Complex Network Theory: A Perspective IJCAI 2024