Foundations

A Conic Transformation Approach for Solving the Perspective-Three-Point Problem WACV 2025 A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds IJCAI 2025 Algorithms with Calibrated Machine Learning Predictions ICML 2025 A Linear N-Point Solver for Structure and Motion from Asynchronous Tracks ICCV 2025 “All-Something-Nothing” Phase Transitions in Planted k-Factor Recovery (Extended Abstract) COLT 2025 Almost linear time differentially private release of synthetic graphs AISTATS 2025 A Market for Accuracy: Classification Under Competition ICML 2025 AnalogGenie-Lite: Enhancing Scalability and Precision in Circuit Topology Discovery through Lightweight Graph Modeling ICML 2025 An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025 An Asymptotically Optimal Approximation Algorithm for Multiobjective Submodular Maximization at Scale ICML 2025 A Near Linear Query Lower Bound for Submodular Maximization ICML 2025 An Elite-guided Weighted Simulated Annealing Algorithm for the Clique Partitioning Problem AAAI 2025 An Expert System for Danish Traffic Law Cases (Student Abstract) AAAI 2025 An Information-theoretic Perspective of Hierarchical Clustering on Graphs UAI 2025 Application of Structured State Space Models to High energy physics with locality sensitive hashing AISTATS 2025 Approximate Forest Completion and Learning-Augmented Algorithms for Metric Minimum Spanning Trees ICML 2025 Approximating Optimal Labelings for Temporal Connectivity AAAI 2025 Approximating the Total Variation Distance between Gaussians AISTATS 2025 A Proof of The Changepoint Detection Threshold Conjecture in Preferential Attachment Models COLT 2025 Are Optimal Algorithms Still Optimal? Rethinking Sorting in LLM-Based Pairwise Ranking with Batching and Caching ACL 2025 A Sub-Problem Quantum Alternating Operator Ansatz for Correlation Clustering ICML 2025 A Subquadratic Time Approximation Algorithm for Individually Fair k-Center AISTATS 2025 Attractor-based Closed List Search: Sparsifying the Closed List for Efficient Memory-Constrained Planning IJCAI 2025 Automated Strategy Invention for Confluence of Term Rewrite Systems IJCAI 2025 AxlePro: Momentum-Accelerated Batched Training of Kernel Machines AISTATS 2025