Algorithms

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 Automatic Computer Scientist AAAI 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 Ultrafast Euclidean Shortest Path Computation Using Hub Labeling AAAI 2023 Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract) AAAI 2023 Unlimiformer: Long-Range Transformers with Unlimited Length Input NeurIPS 2023 Vanishing Point Estimation in Uncalibrated Images with Prior Gravity Direction ICCV 2023 Worst-case Performance of Popular Approximate Nearest Neighbor Search Implementations: Guarantees and Limitations NeurIPS 2023 Yes, we CANN: Constrained Approximate Nearest Neighbors for Local Feature-Based Visual Localization ICCV 2023 Zero-Knowledge Proofs for Classical Planning Problems AAAI 2023 A*+BFHS: A Hybrid Heuristic Search Algorithm AAAI 2022 Adapting k-means Algorithms for Outliers ICML 2022 Adiabatic Quantum Computing for Multi Object Tracking CVPR 2022 A Fast Local Search Algorithm for the Latin Square Completion Problem AAAI 2022 Algorithms for Acyclic Weighted Finite-State Automata with Failure Arcs EMNLP 2022 Algorithms for Weighted Pushdown Automata EMNLP 2022 Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution AAAI 2022 An Analysis of the Linear Bilateral ANAC Domains Using the MiCRO Benchmark Strategy IJCAI 2022 A New Framework for Fast Automated Phonological Reconstruction Using Trimmed Alignments and Sound Correspondence Patterns ACL 2022 An Exact Algorithm with New Upper Bounds for the Maximum k-Defective Clique Problem in Massive Sparse Graphs AAAI 2022 An Exact MaxSAT Algorithm: Further Observations and Further Improvements IJCAI 2022 Anytime Multi-Agent Path Finding via Machine Learning-Guided Large Neighborhood Search AAAI 2022