Algorithms

CATBench: A Compiler Autotuning Benchmarking Suite for Black-box Optimization AutoML 2025 Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025 Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis AAAI 2025 Circuit-Aware d-DNNF Compilation IJCAI 2025 Clustering Items through Bandit Feedback: Finding the Right Feature out of Many ICML 2025 CodeScientist: End-to-End Semi-Automated Scientific Discovery with Code-based Experimentation ACL 2025 COKE: Core Kernel for More Efficient Approximation of Kernel Weights in Multiple Kernel Clustering ICML 2025 ColabSfM: Collaborative Structure-from-Motion by Point Cloud Registration CVPR 2025 Column-Oriented Datalog on the GPU AAAI 2025 Competitive Fair Scheduling with Predictions ICLR 2025 Competitively Consistent Clustering ICML 2025 Complete Symmetry Breaking for Finite Models AAAI 2025 Computational Explorations of Total Variation Distance ICLR 2025 Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025 Computing Voting Rules with Improvement Feedback ICML 2025 Coreset Spectral Clustering ICLR 2025 Correspondence-Free Fast and Robust Spherical Point Pattern Registration ICCV 2025 Curriculum Coarse-to-Fine Selection for High-IPC Dataset Distillation CVPR 2025 Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery OSDI 2025 Densest k-Subgraph Mining via a Provably Tight Relaxation AAAI 2025 Density-Dependent Group Testing AISTATS 2025 Discrepancy Minimization in Input-Sparsity Time ICML 2025 DiskVPS: Vanishing Point Detector via Hough Transform in a Disk Region CVPR 2025 Distance Estimation for High-Dimensional Discrete Distributions AISTATS 2025 Dynamic angular synchronization under smoothness constraints JMLR 2025