Skip to content
conftrace_

Mathematics & Optimization

19,283 papers (0 classified directly here)

1
24
182
599
1,739
1,785
2000
'5
'10
'15
'20
'25

Papers (including subtopics)

Sharp Optimality of Simple, Plug-in Estimation of the Fisher Information of a Smoothed Density ICML 2025 Shield Synthesis for LTL Modulo Theories AAAI 2025 Shoal++: High Throughput DAG BFT Can Be Fast and Robust! NSDI 2025 Should Decision-Makers Reveal Classifiers in Online Strategic Classification? ICML 2025 SIFAR: A Simple Faster Accelerated Variance-Reduced Gradient Method IJCAI 2025 Signed Laplacians for Constrained Graph Clustering ICML 2025 SIGraph: Saliency Image-Graph Network for Retinal Disease Classification in Fundus Image AAAI 2025 Simple Randomized Rounding for Max-Min Eigenvalue Augmentation ICML 2025 Simplex Constrained Sparse Optimization via Tail Screening JMLR 2025 Simulation-Free Differential Dynamics Through Neural Conservation Laws UAI 2025 SINGER: Stochastic Network Graph Evolving Operator for High Dimensional PDEs ICLR 2025 Singular Subspace Perturbation Bounds via Rectangular Random Matrix Diffusions ICLR 2025 SIRD: A Sender-Informed, Receiver-Driven Datacenter Transport Protocol NSDI 2025 Sketch-and-Project Meets Newton Method: Global $O(1/k^2)$ Convergence with Low-Rank Updates AISTATS 2025 Sketching for Convex and Nonconvex Regularized Least Squares with Sharp Guarantees ICLR 2025 Sketching in High-Dimensional Regression With Big Data Using Gaussian Scale Mixture Priors JMLR 2025 Skybridge: Bounded Staleness for Distributed Caches OSDI 2025 Sliced-Wasserstein Distances and Flows on Cartan-Hadamard Manifolds JMLR 2025 Smart Contracts for Trustless Sampling of Correlated Equilibria IJCAI 2025 Smoothed Online Convex Optimization with Delayed Feedback IJCAI 2025 Solving Convex-Concave Problems with O(ε^-4/7) Second-Order Oracle Complexity COLT 2025 Solving hidden monotone variational inequalities with surrogate losses ICLR 2025 Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking AAAI 2025 Solving Multiagent Path Finding on Highly Centralized Networks AAAI 2025 Solving Robust Markov Decision Processes: Generic, Reliable, Efficient AAAI 2025