Yi Li

An Adversarial Attack Defending System for Securing In-Vehicle Networks

In a modern vehicle, there are over seventy Electronics Control Units (E...
08/25/2020 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
A Survey of Smart Contract Formal Specification and Verification

A smart contract is a computer program which allows users to define and ...
08/06/2020 ∙ by Palina Tolmach, et al. ∙ 0 ∙ share

read it
The Expected Size of Random Convex Layers and Convex Shells

Given a planar point set X, we study the convex shells and the convex la...
08/05/2020 ∙ by Zhengyang Guo, et al. ∙ 0 ∙ share

read it
Bayesian Survival Analysis Using Gamma Processes with Adaptive Time Partition

In Bayesian semi-parametric analyses of time-to-event data, non-parametr...
08/05/2020 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Streaming Complexity of SVMs

We study the space complexity of solving the bias-regularized SVM proble...
07/07/2020 ∙ by Alexandr Andoni, et al. ∙ 0 ∙ share

read it
Octopus: Privacy-Preserving Collaborative Evaluation of Loan Stacking

With the rise of online lenders, the loan stacking problem has become a ...
07/05/2020 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Graph Structural-topic Neural Network

Graph Convolutional Networks (GCNs) achieved tremendous success by effec...
06/25/2020 ∙ by Qingqing Long, et al. ∙ 0 ∙ share

read it
A Revisit to De-biased Lasso for Generalized Linear Models

De-biased lasso has emerged as a popular tool to draw statistical infere...
06/23/2020 ∙ by Lu Xia, et al. ∙ 0 ∙ share

read it
Nearly Linear Row Sampling Algorithm for Quantile Regression

We give a row sampling algorithm for the quantile loss function with sam...
06/15/2020 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Weakly Supervised Lesion Localization With Probabilistic-CAM Pooling

Localizing thoracic diseases on chest X-ray plays a critical role in cli...
05/29/2020 ∙ by Wenwu Ye, et al. ∙ 11 ∙ share

read it
Input-Sparsity Low Rank Approximation in Schatten Norm

We give the first input-sparsity time algorithms for the rank-k low rank...
04/27/2020 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Cosmetic-Aware Makeup Cleanser

Face verification aims at determining whether a pair of face images belo...
04/20/2020 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Estimation of time-varying reproduction numbers underlying epidemiological processes: a new statistical tool for the COVID-19 pandemic

The coronavirus pandemic has rapidly evolved into an unprecedented crisi...
04/13/2020 ∙ by Hyokyoung G. Hong, et al. ∙ 0 ∙ share

read it
Estimation of time-varying transmission and removal rates underlying epidemiological processes: a new statistical tool for the COVID-19 pandemic

The coronavirus pandemic has rapidly evolved into an unprecedented crisi...
04/13/2020 ∙ by Hyokyoung G. Hong, et al. ∙ 0 ∙ share

read it
COVID-19 Screening on Chest X-ray Images Using Deep Learning based Anomaly Detection

Coronaviruses are important human and animal pathogens. To date the nove...
03/27/2020 ∙ by Jianpeng Zhang, et al. ∙ 18 ∙ share

read it
Minimum Enclosing Parallelogram with Outliers

We study the problem of minimum enclosing parallelogram with outliers, w...
03/04/2020 ∙ by Zhengyang Guo, et al. ∙ 0 ∙ share

read it
Informative Sample Mining Network for Multi-Domain Image-to-Image Translation

The performance of multi-domain image-to-image translation has been sign...
01/05/2020 ∙ by Jie Cao, et al. ∙ 5 ∙ share

read it
Minorization-Maximization-based Steepest Ascent for Large-scale Survival Analysis with Time-Varying Effects: Application to the National Kidney Transplant Dataset

The time-varying effects model is a flexible and powerful tool for model...
12/27/2019 ∙ by Kevin He, et al. ∙ 0 ∙ share

read it
Style-based Variational Autoencoder for Real-World Super-Resolution

Real-world image super-resolution is a challenging image translation pro...
12/21/2019 ∙ by Xin Ma, et al. ∙ 31 ∙ share

read it
Robust Estimation and Variable Selection for the Accelerated Failure Time Model

This paper considers robust modeling of the survival time for cancer pat...
12/20/2019 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Evolving ab initio trading strategies in heterogeneous environments

Securities markets are quintessential complex adaptive systems in which ...
12/19/2019 ∙ by David Rushing Dewhurst, et al. ∙ 20 ∙ share

read it
Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules

With the prosperity of smart contracts and the blockchain technology, va...
12/10/2019 ∙ by Yinxing Xue, et al. ∙ 0 ∙ share

read it
A Survey on Theorem Provers in Formal Methods

Mechanical reasoning is a key area of research that lies at the crossroa...
12/06/2019 ∙ by M. Saqib Nawaz, et al. ∙ 0 ∙ share

read it
Combining Program Analysis and Statistical Language Model for Code Statement Completion

Automatic code completion helps improve developers' productivity in thei...
11/18/2019 ∙ by Son Nguyen, et al. ∙ 0 ∙ share

read it
Path Planning Games

Path planning is a fundamental and extensively explored problem in robot...
10/30/2019 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Directed-Weighting Group Lasso for Eltwise Blocked CNN Pruning

Eltwise layer is a commonly used structure in the multi-branch deep lear...
10/21/2019 ∙ by Ke Zhan, et al. ∙ 0 ∙ share

read it
Oracle-Supported Dynamic Exploit Generation for Smart Contracts

Despite the high stakes involved in smart contracts, they are often deve...
09/14/2019 ∙ by Haijun Wang, et al. ∙ 0 ∙ share

read it
Pose Agnostic Cross-spectral Hallucination via Disentangling Independent Factors

The cross-sensor gap is one of the challenges that arise much research i...
09/10/2019 ∙ by Boyan Duan, et al. ∙ 15 ∙ share

read it
An Empirical Study on the Characteristics of Question-Answering Process on Developer Forums

Developer forums are one of the most popular and useful Q&A websites on ...
09/05/2019 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Data-Driven Neuron Allocation for Scale Aggregation Networks

Successful visual recognition networks benefit from aggregating informat...
04/20/2019 ∙ by Yi Li, et al. ∙ 14 ∙ share

read it
REPAIR: Removing Representation Bias by Dataset Resampling

Modern machine learning datasets can have biases for certain representat...
04/16/2019 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Biphasic Learning of GANs for High-Resolution Image-to-Image Translation

Despite that the performance of image-to-image translation has been sign...
04/14/2019 ∙ by Jie Cao, et al. ∙ 0 ∙ share

read it
Tight Bounds for the Subspace Sketch Problem with Applications

In the subspace sketch problem one is given an n× d matrix A with O((nd)...
04/11/2019 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Estimation and Inference for High Dimensional Generalized Linear Models: A Splitting and Smoothing Approach

For a better understanding of the molecular causes of lung cancer, the B...
03/11/2019 ∙ by Zhe Fei, et al. ∙ 0 ∙ share

read it
Deterministic Sparse Fourier Transform with an ell_infty Guarantee

In this paper we revisit the deterministic version of the Sparse Fourier...
03/03/2019 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Detecting Lesion Bounding Ellipses With Gaussian Proposal Networks

Lesions characterized by computed tomography (CT) scans, are arguably of...
02/25/2019 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
A Survey to Deep Facial Attribute Analysis

Facial attribute analysis has received considerable attention with the d...
12/26/2018 ∙ by Xin Zheng, et al. ∙ 0 ∙ share

read it
DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems

Deep learning (DL) defines a data-driven programming paradigm that autom...
12/13/2018 ∙ by Xiaoning Du, et al. ∙ 0 ∙ share

read it
Image Super-Resolution Using TV Priori Guided Convolutional Network

We proposed a TV priori information guided deep learning method for sing...
10/28/2018 ∙ by Bo Fu, et al. ∙ 0 ∙ share

read it
Testing Matrix Rank, Optimally

We show that for the problem of testing if a matrix A ∈ F^n × n has rank...
10/18/2018 ∙ by Maria-Florina Balcan, et al. ∙ 0 ∙ share

read it
Learning-Based Delay-Aware Caching in Wireless D2D Caching Networks

Recently, wireless caching techniques have been studied to satisfy lower...
09/26/2018 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Large Margin Neural Language Model

We propose a large margin criterion for training neural language models....
08/27/2018 ∙ by Jiaji Huang, et al. ∙ 0 ∙ share

read it
Patch-based Contour Prior Image Denoising for Salt and Pepper Noise

The salt and pepper noise brings a significant challenge to image denois...
08/26/2018 ∙ by Bo Fu, et al. ∙ 0 ∙ share

read it
A Convolutional Neural Networks Denoising Approach for Salt and Pepper Noise

The salt and pepper noise, especially the one with extremely high percen...
07/21/2018 ∙ by Bo Fu, et al. ∙ 0 ∙ share

read it
Cancer Metastasis Detection With Neural Conditional Random Field

Breast cancer diagnosis often requires accurate detection of metastasis ...
06/19/2018 ∙ by Yi Li, et al. ∙ 2 ∙ share

read it
Covariance-Insured Screening

Modern bio-technologies have produced a vast amount of high-throughput d...
05/17/2018 ∙ by Kevin He, et al. ∙ 0 ∙ share

read it
DeepIM: Deep Iterative Matching for 6D Pose Estimation

Estimating the 6D pose of objects from images is an important problem in...
03/31/2018 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
SurvBoost: An R Package for High-Dimensional Variable Selection in the Stratified Proportional Hazards Model via Gradient Boosting

High-dimensional variable selection in the proportional hazards (PH) mod...
03/21/2018 ∙ by Emily Morris, et al. ∙ 0 ∙ share

read it
PrivPy: Enabling Scalable and General Privacy-Preserving Computation

We introduce PrivPy, a practical privacy-preserving collaborative comput...
01/30/2018 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it
Deterministic Heavy Hitters with Sublinear Query Time

This paper studies the classic problem of finding heavy hitters in the t...
12/05/2017 ∙ by Yi Li, et al. ∙ 0 ∙ share

read it

Yi Li

Featured Co-authors