research
∙
05/19/2023
Empower Large Language Model to Perform Better on Industrial Domain-Specific Question Answering
Large Language Model (LLM) has gained popularity and achieved remarkable...
share
research
∙
11/03/2022
Matching Augmentation via Simultaneous Contractions
We consider the matching augmentation problem (MAP), where a matching of...
research
∙
10/11/2022
The Design and Regulation of Exchanges: A Formal Approach
We use formal methods to specify, design, and monitor continuous double ...
research
∙
09/21/2022
Improved Approximation for Two-Edge-Connectivity
The basic goal of survivable network design is to construct low-cost net...
research
∙
07/07/2021
Can Connected Autonomous Vehicles really improve mixed traffic efficiency in realistic scenarios?
Connected autonomous vehicles (CAVs) can supplement the information from...
research
∙
07/15/2018
Deterministic (1/2 + ε)-Approximation for Submodular Maximization over a Matroid
We study the problem of maximizing a monotone submodular function subjec...
research
∙
07/15/2018