research
∙
07/31/2023
UniAP: Unifying Inter- and Intra-Layer Automatic Parallelism by Mixed Integer Quadratic Programming
Deep learning models have demonstrated impressive performance in various...
share
research
∙
04/25/2023
LAST: Scalable Lattice-Based Speech Modelling in JAX
We introduce LAST, a LAttice-based Speech Transducer library in JAX. Wit...
research
∙
02/24/2023
Maximizing Miner Revenue in Transaction Fee Mechanism Design
Transaction fee mechanism design is a new decentralized mechanism design...
research
∙
01/15/2023
Summative Student Course Review Tool Based on Machine Learning Sentiment Analysis to Enhance Life Science Feedback Efficacy
Machine learning enables the development of new, supplemental, and empow...
research
∙
12/22/2022
Alignment Entropy Regularization
Existing training criteria in automatic speech recognition(ASR) permit t...
research
∙
09/28/2022
What Can Cryptography Do For Decentralized Mechanism Design
Recent works of Roughgarden (EC'21) and Chung and Shi (SODA'23) initiate...
research
∙
05/26/2022
Global Normalization for Streaming Speech Recognition in a Modular Framework
We introduce the Globally Normalized Autoregressive Transducer (GNAT) fo...
research
∙
02/01/2022
Transformer-based Models of Text Normalization for Speech Applications
Text normalization, or the process of transforming text into a consisten...
research
∙
12/18/2021
Beyond Single-Deletion Correcting Codes: Substitutions and Transpositions
We consider the problem of designing low-redundancy codes in settings wh...
research
∙
08/04/2021
FedJAX: Federated learning simulation with JAX
Federated learning is a machine learning technique that enables training...
research
∙
02/04/2021
A Practical Coding Scheme for the BSC with Feedback
We provide a practical implementation of the rubber method of Ahlswede e...
research
∙
07/19/2020
A Theory of Multiple-Source Adaptation with Limited Target Labeled Data
We study multiple-source domain adaptation, when the learner has access ...
research
∙
03/12/2020
Generalized logistic growth modeling of the COVID-19 outbreak in 29 provinces in China and in the rest of the world
The COVID-19 has been successfully contained in China but is spreading a...
research
∙
12/31/2019
Non-rigid Registration Method between 3D CT Liver Data and 2D Ultrasonic Images based on Demons Model
The non-rigid registration between CT data and ultrasonic images of live...
research
∙
09/03/2018
Edit Errors with Block Transpositions: Deterministic Document Exchange Protocols and Almost Optimal Binary Codes
Document exchange and error correcting codes are two fundamental problem...
research
∙
04/16/2018
Deterministic Document Exchange Protocols, and Almost Optimal Binary Codes for Edit Errors
We study two basic problems regarding edit error, i.e. document exchange...
research
∙
03/17/2018
Towards Efficient Data-flow Test Data Generation Using KLEE
Dataflow coverage, one of the white-box testing criteria, focuses on the...
research
∙
03/08/2018
Synchronization Strings: Efficient and Fast Deterministic Constructions over Small Alphabets
Synchronization strings are recently introduced by Haeupler and Shahrasb...
research
∙
02/23/2018