Discrete Mathematics

Open problem: Direct Sums in Learning Theory COLT 2024 Optimal Extended Formulations from Optimal Dynamic Programming Algorithms IJCAI 2024 Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics IJCAI 2024 Persistent Homology for High-dimensional Data Based on Spectral Methods NeurIPS 2024 Proving Theorems Recursively NeurIPS 2024 PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition NeurIPS 2024 Replicability in Learning: Geometric Partitions and KKM-Sperner Lemma NeurIPS 2024 Representing Compounding with OntoLex. An Evaluation of Vocabularies for Word Formation Resources COLING 2024 Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs AAAI 2024 SAT-Based Techniques for Lexicographically Smallest Finite Models AAAI 2024 Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming AAAI 2024 Simulating weighted automata over sequences and trees with transformers AISTATS 2024 The Expressive Capacity of State Space Models: A Formal Language Perspective NeurIPS 2024 Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover AAAI 2024 The Transformation Logics IJCAI 2024 Thresholds for Reconstruction of Random Hypergraphs From Graph Projections COLT 2024 Unifying Decision and Function Queries in Stochastic Boolean Satisfiability AAAI 2024 Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint) IJCAI 2024 Welfare Loss in Connected Resource Allocation IJCAI 2024 ε-fractional core stability in Hedonic Games. NeurIPS 2023 Activity Grammars for Temporal Action Segmentation NeurIPS 2023 Adaptive Constraint Partition Based Optimization Framework for Large-Scale Integer Linear Programming (Student Abstract) AAAI 2023 A Fast Algorithm for Consistency Checking Partially Ordered Time IJCAI 2023 A Framework to Design Approximation Algorithms for Finding Diverse Solutions in Combinatorial Problems AAAI 2023 Agnostic PAC Learning of k-juntas Using L_2-Polynomial Regression AISTATS 2023