Foundations

The Planted Spanning Tree Problems: Exact Overlap Characterization via Local Weak Convergence Extended Abstract COLT 2025 The Ramanujan Library - Automated Discovery on the Hypergraph of Integer Relations ICLR 2025 THESAURUS: Contrastive Graph Clustering by Swapping Fused Gromov-Wasserstein Couplings AAAI 2025 Three-view Focal Length Recovery From Homographies CVPR 2025 Tight Bounds for Noisy Computation of High-Influence Functions, Connectivity, and Threshold COLT 2025 Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty OSDI 2025 Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025 Towards Real-Time Approximate Counting AAAI 2025 Towards the 30 by 30 Kunming-Montreal Global Biodiversity Framework Target: Optimising Graph Connectivity in Constraint-Based Spatial Planning IJCAI 2025 TurboReg: TurboClique for Robust and Efficient Point Cloud Registration ICCV 2025 Unifying Unsupervised Graph-Level Anomaly Detection and Out-of-Distribution Detection: A Benchmark ICLR 2025 Unify ML4TSP: Drawing Methodological Principles for TSP and Beyond from Streamlined Design Space of Learning and Search ICLR 2025 Unique Hard Attention: A Tale of Two Sides ACL 2025 Weighted Embeddings for Low-Dimensional Graph Representation AAAI 2025 Weighted Poisson-disk Resampling on Large-Scale Point Clouds AAAI 2025 When Benchmarks Talk: Re-Evaluating Code LLMs with Interactive Feedback ACL 2025 When Can We Solve the Weighted Low Rank Approximation Problem in Truly Subquadratic Time? AISTATS 2025 WINS: Winograd Structured Pruning for Fast Winograd Convolution ICCV 2025 Accelerating ERM for data-driven algorithm design using output-sensitive techniques NeurIPS 2024 Accelerating Matroid Optimization through Fast Imprecise Oracles NeurIPS 2024 Accelerating Relative Entropy Coding with Space Partitioning NeurIPS 2024 A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 Active Statistical Inference ICML 2024 A Differentially Private Clustering Algorithm for Well-Clustered Graphs ICLR 2024 Adversarially Robust Dense-Sparse Tradeoffs via Heavy-Hitters NeurIPS 2024