Foundations

Pygmtools: A Python Graph Matching Toolkit JMLR 2024 RandNet-Parareal: a time-parallel PDE solver using Random Neural Networks NeurIPS 2024 Random Cycle Coding: Lossless Compression of Cluster Assignments via Bits-Back Coding NeurIPS 2024 Random Subgraph Detection Using Queries JMLR 2024 Reachability of Fair Allocations via Sequential Exchanges AAAI 2024 Reconstructing the Geometry of Random Geometric Graphs (Extended Abstract) COLT 2024 Rectangle Search: An Anytime Beam Search AAAI 2024 Repeated Fair Allocation of Indivisible Items AAAI 2024 Repelling Random Walks ICLR 2024 Resolution Limit of Single-Photon LiDAR CVPR 2024 Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers IJCAI 2024 Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance ACL 2024 Risk-Sensitive Online Algorithms (Extended Abstract) COLT 2024 Robust Blind Text Image Deblurring via Maximum Consensus Framework AAAI 2024 Robust Graph Matching when Nodes are Corrupt ICML 2024 Robust Self-calibration of Focal Lengths from the Fundamental Matrix CVPR 2024 Sampling Winners in Ranked Choice Voting IJCAI 2024 SAT-Based Algorithms for Regular Graph Pattern Matching AAAI 2024 SAT-Based Techniques for Lexicographically Smallest Finite Models AAAI 2024 SAT-Based Tree Decomposition with Iterative Cascading Policy Selection AAAI 2024 Scalable Algorithms for Individual Preference Stable Clustering AISTATS 2024 Scalable Landmark Hub Labeling for Optimal and Bounded Suboptimal Pathfinding IJCAI 2024 Seeded Graph Matching for the Correlated Gaussian Wigner Model via the Projected Power Method JMLR 2024 Selene: Pioneering Automated Proof in Software Verification ACL 2024 Semantically-correlated memories in a dense associative model ICML 2024