Skip to content
conftrace_

Papers (including subtopics)

A Novel Skip Orthogonal List for Dynamic Optimal Transport Problem AAAI 2024 Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows IJCAI 2024 Anytime Sorting Algorithms IJCAI 2024 A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs AAAI 2024 Approximate Algorithms for k-Sparse Wasserstein Barycenter with Outliers IJCAI 2024 Approximate Distance Oracle for Fault-Tolerant Geometric Spanners AAAI 2024 Approximate Integer Solution Counts over Linear Arithmetic Constraints AAAI 2024 Approximating the Top Eigenvector in Random Order Streams NeurIPS 2024 Approximation Algorithms for Observer Aware MDPs UAI 2024 Approximation Algorithms for Preference Aggregation Using CP-Nets AAAI 2024 Approximation Scheme for Weighted Metric Clustering via Sherali-Adams AAAI 2024 A Primal-Dual Algorithm for Hybrid Federated Learning AAAI 2024 A Primal-Dual Approach to Solving Variational Inequalities with General Constraints ICLR 2024 A Primal-Dual-Assisted Penalty Approach to Bilevel Optimization with Coupled Constraints NeurIPS 2024 A projected semismooth Newton method for a class of nonconvex composite programs with strong prox-regularity JMLR 2024 A Provably Accurate Randomized Sampling Algorithm for Logistic Regression AAAI 2024 Are Graph Neural Networks Optimal Approximation Algorithms? NeurIPS 2024 A Reinforcement-Learning-Based Multiple-Column Selection Strategy for Column Generation AAAI 2024 Are You Concerned about Limited Function Evaluations: Data-Augmented Pareto Set Learning for Expensive Multi-Objective Optimization AAAI 2024 A robust inlier identification algorithm for point cloud registration via ℓ_0-minimization NeurIPS 2024 A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) AAAI 2024 A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) AAAI 2024 A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem IJCAI 2024 A Separation in Heavy-Tailed Sampling: Gaussian vs. Stable Oracles for Proximal Samplers NeurIPS 2024 AsGrad: A Sharp Unified Analysis of Asynchronous-SGD Algorithms AISTATS 2024