Mathematics & Optimization

Tight query complexity bounds for learning graph partitions COLT 2022 Tikhonov Regularization is Optimal Transport Robust under Martingale Constraints NeurIPS 2022 Time-Constrained Participatory Budgeting Under Uncertain Project Costs IJCAI 2022 tntorch: Tensor Network Learning with PyTorch JMLR 2022 TO-FLOW: Efficient Continuous Normalizing Flows With Temporal Optimization Adjoint With Moving Speed CVPR 2022 Topologically penalized regression on manifolds JMLR 2022 Top Two Algorithms Revisited NeurIPS 2022 Toward Equation of Motion for Deep Neural Networks: Continuous-time Gradient Descent and Discretization Error Analysis NeurIPS 2022 Toward Instance-Optimal State Certification With Incoherent Measurements COLT 2022 Toward Interpretable Semantic Textual Similarity via Optimal Transport-based Contrastive Sentence Learning ACL 2022 Toward Physically Realizable Quantum Neural Networks AAAI 2022 Towards An Efficient Approach for the Nonconvex lp Ball Projection: Algorithm and Analysis JMLR 2022 Towards a Theory of Non-Log-Concave Sampling:First-Order Stationarity Guarantees for Langevin Monte Carlo COLT 2022 Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs EMNLP 2022 Towards Automated Discovery of God-Like Folk Algorithms for Rubik’s Cube AAAI 2022 Towards Controlling the Transmission of Diseases: Continuous Exposure Discovery over Massive-Scale Moving Objects IJCAI 2022 Towards Empirical Sandwich Bounds on the Rate-Distortion Function ICLR 2022 Towards Federated Bayesian Network Structure Learning with Continuous Optimization AISTATS 2022 Towards Fully Sparse Training: Information Restoration with Spatial Similarity AAAI 2022 Towards Optimal Algorithms for Multi-Player Bandits without Collision Sensing Information COLT 2022 Towards Optimal Communication Complexity in Distributed Non-Convex Optimization NeurIPS 2022 Towards Practical Adam: Non-Convexity, Convergence Theory, and Mini-Batch Acceleration JMLR 2022 Tracking Most Significant Arm Switches in Bandits COLT 2022 Tractable Abstract Argumentation via Backdoor-Treewidth AAAI 2022 Tractable & Coherent Multi-Document Summarization: Discrete Optimization of Multiple Neural Modeling Streams via Integer Linear Programming EMNLP 2022