Foundations

Approximating CKY with Transformers EMNLP 2023 A Refined Upper Bound and Inprocessing for the Maximum K-plex Problem IJCAI 2023 A Regular Matching Constraint for String Variables IJCAI 2023 A Robust and Opponent-Aware League Training Method for StarCraft II NeurIPS 2023 A Scalable Framework for Table of Contents Extraction from Complex ESG Annual Reports EMNLP 2023 A Sublinear-Time Spectral Clustering Oracle with Improved Preprocessing Time NeurIPS 2023 AutoCoreset: An Automatic Practical Coreset Construction Framework ICML 2023 Automata Cascades: Expressivity and Sample Complexity AAAI 2023 Automating Nearest Neighbor Search Configuration with Constrained Optimization ICLR 2023 Automating Rigid Origami Design IJCAI 2023 Average Sensitivity of Decision Tree Learning ICLR 2023 Back to Patterns: Efficient Japanese Morphological Analysis with Feature-Sequence Trie ACL 2023 Ballot Length in Instant Runoff Voting AAAI 2023 BASiS: Batch Aligned Spectral Embedding Space CVPR 2023 Bicriteria Approximation Algorithms for the Submodular Cover Problem NeurIPS 2023 Can You Improve My Code? Optimizing Programs with Local Search IJCAI 2023 CausalSim: A Causal Framework for Unbiased Trace-Driven Simulation NSDI 2023 Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). IJCAI 2023 Characterizing Structural Hardness of Logic Programs: What Makes Cycles and Reachability Hard for Treewidth? AAAI 2023 Chordal Averaging on Flag Manifolds and Its Applications ICCV 2023 Circuit Minimization with QBF-Based Exact Synthesis AAAI 2023 ClusterFuG: Clustering Fully connected Graphs by Multicut ICML 2023 Clustering What Matters: Optimal Approximation for Clustering with Outliers AAAI 2023 Co-Certificate Learning with SAT Modulo Symmetries IJCAI 2023 Community Detection in the Hypergraph SBM: Exact Recovery Given the Similarity Matrix COLT 2023