Mathematics

Sliced-Wasserstein Distances and Flows on Cartan-Hadamard Manifolds JMLR 2025 Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking AAAI 2025 Some easy optimization problems have the overlap-gap property COLT 2025 Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025 Spatially Resolved Transcriptomics Data Clustering with Tailored Spatial-scale Modulation IJCAI 2025 Spectral Differential Network Analysis for High-Dimensional Time Series AISTATS 2025 Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025 Spherical Dimension COLT 2025 Spurious Correlations in High Dimensional Regression: The Roles of Regularization, Simplicity Bias and Over-Parameterization ICML 2025 Statistical and Computational Guarantees of Kernel Max-Sliced Wasserstein Distances ICML 2025 Statistical Collusion by Collectives on Learning Platforms ICML 2025 Statistical Inference of Constrained Stochastic Optimization via Sketched Sequential Quadratic Programming JMLR 2025 Statistical Query Hardness of Multiclass Linear Classification with Random Classification Noise ICML 2025 Statistical Test for Feature Selection Pipelines by Selective Inference ICML 2025 Step and Smooth Decompositions as Topological Clustering JMLR 2025 Stochastic block models with many communities and the Kesten–Stigum bound - extended abstract COLT 2025 Strategic Network Creation for Enabling Greedy Routing AAAI 2025 Stream-level Flow Matching with Gaussian Processes ICML 2025 Structure based SAT dataset for analysing GNN generalisation AISTATS 2025 Sub-band based Adaptive IIR Algorithm with Biquad Filter Stability Constraints for Feedforward Hear-Through Equalization Interspeech 2025 Suboptimal Search with Dynamic Distribution of Suboptimality AAAI 2025 Suitability Filter: A Statistical Framework for Classifier Evaluation in Real-World Deployment Settings ICML 2025 SUMI-IFL: An Information-Theoretic Framework for Image Forgery Localization with Sufficiency and Minimality Constraints AAAI 2025 SURF: A System to Unveil Explainable Risk Relations between Firms NAACL 2025 Synonymity-Based Semantic Coding for Efficient Speech Compression Interspeech 2025