Mathematics

Computing Twin-width with SAT and Branch & Bound IJCAI 2023 Concentration analysis of multivariate elliptic diffusions JMLR 2023 Conditional independence testing under misspecified inductive biases NeurIPS 2023 Condition-number-independent Convergence Rate of Riemannian Hamiltonian Monte Carlo with Numerical Integrators COLT 2023 Confidence Intervals and Hypothesis Testing for High-dimensional Quantile Regression: Convolution Smoothing and Debiasing JMLR 2023 Conformal Frequency Estimation using Discrete Sketched Data with Coverage for Distinct Queries JMLR 2023 Constant Matters: Fine-grained Error Bound on Differentially Private Continual Observation ICML 2023 Constraint Optimization over Semirings AAAI 2023 Constructive TT-representation of the tensors given as index interaction functions with applications ICLR 2023 Continuous-time Analysis of Anchor Acceleration NeurIPS 2023 Controlled Differential Equations on Long Sequences via Non-standard Wavelets ICML 2023 Controlling Wasserstein Distances by Kernel Norms with Application to Compressive Statistical Learning JMLR 2023 Convergence analysis of ODE models for accelerated first-order methods via positive semidefinite kernels NeurIPS 2023 Convergence and Diversity in the Control Hierarchy ACL 2023 Convergence of Alternating Gradient Descent for Matrix Factorization NeurIPS 2023 Convergence Rates of a Class of Multivariate Density Estimation Methods Based on Adaptive Partitioning JMLR 2023 Convex Geometry of ReLU-layers, Injectivity on the Ball and Local Reconstruction ICML 2023 Convolutional Persistence as a Remedy to Neural Model Analysis AISTATS 2023 Counterfactual Dynamics Forecasting – a New Setting of Quantitative Reasoning AAAI 2023 Counting Background Knowledge Consistent Markov Equivalent Directed Acyclic Graphs UAI 2023 Coupled Multiwavelet Operator Learning for Coupled Differential Equations ICLR 2023 Curvature and complexity: Better lower bounds for geodesically convex optimization COLT 2023 D2Match: Leveraging Deep Learning and Degeneracy for Subgraph Matching ICML 2023 Data-driven memory-dependent abstractions of dynamical systems L4DC 2023 Data-driven Optimal Filtering for Linear Systems with Unknown Noise Covariances NeurIPS 2023