Foundations

Balanced and Fair Partitioning of Friends AAAI 2025 Balanced Ranking with Relative Centrality: A multi-core periphery perspective ICLR 2025 Balancing Bias in Two-sided Markets for Fair Stable Matchings ICLR 2025 Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 Beyond Worst-Case Dimensionality Reduction for Sparse Vectors ICLR 2025 Bimodal Depth-First Search for Scalable GAC for AllDifferent IJCAI 2025 Breaking Barriers: Combinatorial Algorithms for Non-Monotone Submodular Maximization with Sublinear Adaptivity and $1/e$ Approximation ICML 2025 Breaking Symmetries in Quantified Graph Search: A Comparative Study AAAI 2025 Breaking the $n^1.5$ Additive Error Barrier for Private and Efficient Graph Sparsification via Private Expander Decomposition ICML 2025 Breaking the Quadratic Barrier: Robust Cardinality Sketches for Adaptive Queries ICML 2025 Building Bridges: Safe Interactions with Foreign Languages through Omniglot OSDI 2025 Can Graph Descriptive Order Affect Solving Graph Problems with LLMs? ACL 2025 CATBench: A Compiler Autotuning Benchmarking Suite for Black-box Optimization AutoML 2025 Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025 Changepoint Estimation in Sparse Dynamic Stochastic Block Models under Near-Optimal Signal Strength AISTATS 2025 Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis AAAI 2025 Circuit-Aware d-DNNF Compilation IJCAI 2025 Clique Number Estimation via Differentiable Functions of Adjacency Matrix Permutations ICLR 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