b'Yao Li'

research

∙ 07/11/2022

Program Adverbs and Tlön Embeddings

Free monads (and their variants) have become a popular general-purpose t...

Yao Li, et al. ∙

research

∙ 07/09/2022

Serving Hybrid-Cloud SQL Interactive Queries at Twitter

The demand for data analytics has been consistently increasing in the pa...

Chunxu Tang, et al. ∙

research

∙ 05/18/2022

Improving Pedestrian Priority via Grouping and Virtual Lanes

The shared space design is applied in urban streets to support barrier-f...

Yao Li, et al. ∙

research

∙ 04/24/2022

Taming Hybrid-Cloud Fast and Scalable Graph Analytics at Twitter

We have witnessed a boosted demand for graph analytics at Twitter in rec...

Chunxu Tang, et al. ∙

research

∙ 04/12/2022

Forecasting SQL Query Cost at Twitter

With the advent of the Big Data era, it is usually computationally expen...

Chunxu Tang, et al. ∙

research

∙ 01/01/2022

On the improved conditions for some primal-dual algorithms

The convex minimization of f(𝐱)+g(𝐱)+h(𝐀𝐱) over ℝ^n with differentiable ...

Yao Li, et al. ∙

research

∙ 12/13/2021

N-Cloth: Predicting 3D Cloth Deformation with Mesh-Based Networks

We present a novel mesh-based learning approach (N-Cloth) for plausible ...

Yudi Li, et al. ∙

research

∙ 11/18/2021

A Review of Adversarial Attack and Defense for Classification Methods

Despite the efficiency and scalability of machine learning systems, rece...

Yao Li, et al. ∙

research

∙ 08/10/2021

Decentralized Composite Optimization with Compression

Decentralized optimization and communication compression have exhibited ...

Yao Li, et al. ∙

research

∙ 08/04/2021

ErrorCompensatedX: error compensation for variance reduced algorithms

Communication cost is one major bottleneck for the scalability for distr...

Hanlin Tang, et al. ∙

research

∙ 07/06/2021

Neighbor-Vote: Improving Monocular 3D Object Detection through Neighbor Distance Voting

As cameras are increasingly deployed in new application domains such as ...

Xiaomeng Chu, et al. ∙

research

∙ 05/23/2021

Insect-Computer Hybrid System for Autonomous Search and Rescue Mission

There is still a long way to go before artificial mini robots are really...

P. Thanh Tran-Ngoc, et al. ∙

research

∙ 05/18/2021

Detecting Adversarial Examples with Bayesian Neural Network

In this paper, we propose a new framework to detect adversarial examples...

Yao Li, et al. ∙

research

∙ 03/12/2021

Reasoning about the garden of forking paths

Lazy evaluation is a powerful tool for functional programmers. It enable...

Yao Li, et al. ∙

research

∙ 03/02/2021

Data-driven computation methods for quasi-stationary distribution and sensitivity analysis

This paper studies computational methods for quasi-stationary distributi...

Yao Li, et al. ∙

research

∙ 12/19/2020

A deep learning method for solving Fokker-Planck equations

The time evolution of the probability distribution of a stochastic diffe...

Jiayu Zhai, et al. ∙

research

∙ 10/09/2020

A deep learning based interactive sketching system for fashion images design

In this work, we propose an interactive system to design diverse high-qu...

Yao Li, et al. ∙

research

∙ 07/01/2020

Linear Convergent Decentralized Optimization with Compression

Communication compression has been extensively adopted to speed up large...

Xiaorui Liu, et al. ∙

research

∙ 03/26/2020

Towards Better Opioid Antagonists Using Deep Reinforcement Learning

Naloxone, an opioid antagonist, has been widely used to save lives from ...

Jianyuan Deng, et al. ∙

research

∙ 03/10/2020

A Fractional-Order Normalized Bouc-Wen Model for Piezoelectric Hysteresis Nonlinearity

This paper presents a new fractional-order normalized Bouc-Wen (BW) (FON...

Shengzheng Kang, et al. ∙

research

∙ 03/09/2020

Stationary distributions of persistent ecological systems

We analyze ecological systems that are influenced by random environmenta...

Alexandru Hening, et al. ∙

research

∙ 01/07/2020

Numerical computations of geometric ergodicity for stochastic dynamics

A probabilistic approach of computing geometric rate of convergence of s...

Yao Li, et al. ∙

research

∙ 12/21/2019

Using coupling methods to estimate sample quality for stochastic differential equations

A probabilistic approach for estimating sample qualities for stochastic ...

Matthew Dobson, et al. ∙

research

∙ 10/25/2019

Embracing a mechanized formalization gap

If a code base is so big and complicated that complete mechanical verifi...

Antal Spector-Zabusky, et al. ∙

research

∙ 10/16/2019

A Double Residual Compression Algorithm for Efficient Distributed Learning

Large-scale machine learning models are often trained by parallel stocha...

Xiaorui Liu, et al. ∙

research

∙ 08/17/2019

Improve variational autoEncoder with auxiliary softmax multiclassifier

As a general-purpose generative model architecture, VAE has been widely ...

Yao Li, et al. ∙

research

∙ 06/17/2019

On linear convergence of two decentralized algorithms

Decentralized algorithms solve multi-agent problems over a connected net...

Yao Li, et al. ∙

research

∙ 11/29/2018

From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server

We present the first formal verification of a networked server implement...

Nicolas Koh, et al. ∙

research

∙ 11/19/2018

Optimal Transport Classifier: Defending Against Adversarial Attacks by Regularized Deep Embedding

Recent studies have demonstrated the vulnerability of deep convolutional...

Yao Li, et al. ∙

research

∙ 10/10/2018

Image Super-Resolution Using VDSR-ResNeXt and SRCGAN

Over the past decade, many Super Resolution techniques have been develop...

Saifuddin Hitawala, et al. ∙

research

∙ 10/01/2018

Adv-BNN: Improved Adversarial Defense through Robust Bayesian Neural Network

We present a new algorithm to train a robust neural network against adve...

Xuanqing Liu, et al. ∙

research

∙ 09/21/2018

Adversarial 3D Human Pose Estimation via Multimodal Depth Supervision

In this paper, a novel deep-learning based framework is proposed to infe...

Kun Zhou, et al. ∙

research

∙ 03/19/2018

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

Good tools can bring mechanical verification to programs written in main...

Joachim Breitner, et al. ∙

research

∙ 05/08/2017

Deep Descriptor Transforming for Image Co-Localization

Reusable model design becomes desirable with the rapid expansion of mach...

Xiu-Shen Wei, et al. ∙

research

∙ 11/30/2016

Sequential Person Recognition in Photo Albums with a Recurrent Network

Recognizing the identities of people in everyday photos is still a very ...

Yao Li, et al. ∙

research

∙ 11/30/2016

Attend in groups: a weakly-supervised deep learning framework for learning from web data

Large-scale datasets have driven the rapid development of deep neural ne...

Bohan Zhuang, et al. ∙

research

∙ 03/15/2016

Image Co-localization by Mimicking a Good Detector's Confidence Score Distribution

Given a set of images containing objects from the same category, the tas...

Yao Li, et al. ∙

research

∙ 06/21/2015

Mining Mid-level Visual Patterns with Deep CNN Activations

The purpose of mid-level visual element discovery is to find clusters of...

Yao Li, et al. ∙

research

∙ 11/24/2014

Mid-level Deep Pattern Mining

Mid-level visual element discovery aims to find clusters of image patche...

Yao Li, et al. ∙

research

∙ 10/22/2013

Contextual Hypergraph Modelling for Salient Object Detection

Salient object detection aims to locate objects that capture human atten...

Xi Li, et al. ∙

research

∙ 09/25/2013

Characterness: An Indicator of Text in the Wild

Text in an image provides vital information for interpreting its content...

Yao Li, et al. ∙

Yao Li

Featured Co-authors