Skip to content
conftrace_

Papers (including subtopics)

Fast and Accurate Neural Machine Translation with Translation Memory ACL 2021 Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers ICLR 2021 Fast and Efficient Locomotion via Learned Gait Transitions CoRL 2021 Fast and Memory Efficient Differentially Private-SGD via JL Projections NeurIPS 2021 Fast and Memory Efficient Graph Optimization via ICM for Visual Place Recognition RSS 2021 Fast and Scalable Adversarial Training of Kernel SVM via Doubly Stochastic Gradients AAAI 2021 Fast Approximate Dynamic Programming for Infinite-Horizon Markov Decision Processes NeurIPS 2021 Fast Bayesian Inference for Gaussian Cox Processes via Path Integral Formulation NeurIPS 2021 Fast Bayesian Uncertainty Estimation and Reduction of Batch Normalized Single Image Super-Resolution Network CVPR 2021 Fast Certified Robust Training with Short Warmup NeurIPS 2021 Fast convergence of stochastic subgradient method under interpolation ICLR 2021 Fast Doubly-Adaptive MCMC to Estimate the Gibbs Partition Function with Weak Mixing Time Bounds NeurIPS 2021 Faster Algorithms and Constant Lower Bounds for the Worst-Case Expected Error NeurIPS 2021 Faster Convergence of Stochastic Gradient Langevin Dynamics for Non-Log-Concave Sampling UAI 2021 Faster Depth-Adaptive Transformers AAAI 2021 Faster Directional Convergence of Linear Neural Networks under Spherically Symmetric Data NeurIPS 2021 Faster Game Solving via Predictive Blackwell Approachability: Connecting Regret Matching and Mirror Descent AAAI 2021 Faster lifting for two-variable logic using cell graphs UAI 2021 Faster Matchings via Learned Duals NeurIPS 2021 Faster Meta Update Strategy for Noise-Robust Deep Learning CVPR 2021 Faster & More Reliable Tuning of Neural Networks: Bayesian Optimization with Importance Sampling AISTATS 2021 Faster Neural Network Training with Approximate Tensor Operations NeurIPS 2021 Faster Non-asymptotic Convergence for Double Q-learning NeurIPS 2021 Faster Policy Learning with Continuous-Time Gradients L4DC 2021 Faster Smarter Proof by Induction in Isabelle/HOL IJCAI 2021