Foundations

Self Weighted Multiplex Modularity Maximization for Multiview Clustering ACML 2023 Semi-Random Sparse Recovery in Nearly-Linear Time COLT 2023 SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver AAAI 2023 Sketching Meets Differential Privacy: Fast Algorithm for Dynamic Kronecker Projection Maintenance ICML 2023 SOAR: Improved Indexing for Approximate Nearest Neighbor Search NeurIPS 2023 Solving Explainability Queries with Quantification: The Case of Feature Relevancy AAAI 2023 Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints IJCAI 2023 Sorting and Hypergraph Orientation under Uncertainty with Predictions IJCAI 2023 Sorting with Predictions NeurIPS 2023 Sparse PCA Beyond Covariance Thresholding COLT 2023 Speeding Up Bellman Ford via Minimum Violation Permutations ICML 2023 Speed-Oblivious Online Scheduling: Knowing (Precise) Speeds is not Necessary ICML 2023 Subquadratic Algorithms for Kernel Matrices via Kernel Density Estimation ICLR 2023 Subsampling in Large Graphs Using Ricci Curvature ICLR 2023 SUT: Active Defects Probing for Transcompiler Models EMNLP 2023 Tensor-Based Sketching Method for the Low-Rank Approximation of Data Streams. ICLR 2023 Testing of Index-Invariant Properties in the Huge Object Model COLT 2023 The k-Cap Process on Geometric Random Graphs COLT 2023 The Automatic Computer Scientist AAAI 2023 The Surprising Computational Power of Nondeterministic Stack RNNs ICLR 2023 Three Iterations of (d − 1)-WL Test Distinguish Non Isometric Clouds of d-dimensional Points NeurIPS 2023 Tight Bounds for Volumetric Spanners and Applications NeurIPS 2023 Topological Distance Games AAAI 2023 Tournament Fixing Parameterized by Feedback Vertex Set Number Is FPT AAAI 2023 Transformers Learn Shortcuts to Automata ICLR 2023