research
∙
06/15/2023
Infinite Photorealistic Worlds using Procedural Generation
We introduce Infinigen, a procedural generator of photorealistic 3D scen...
share
research
∙
11/16/2022
Computing-Aware Routing for LEO Satellite Networks: A Transmission and Computation Integration Approach
The advancements of remote sensing (RS) pose increasingly high demands o...
research
∙
03/01/2021
Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing
As an infrastructure for data persistence and analysis, Database Managem...
research
∙
07/27/2020
A Unified Framework of Surrogate Loss by Refactoring and Interpolation
We introduce UniLoss, a unified framework to generate surrogate losses f...
research
∙
02/17/2020
Learning to Prove Theorems by Learning to Generate Theorems
We consider the task of automated theorem proving, a key AI task. Deep l...
research
∙
09/24/2018
Speaker Naming in Movies
We propose a new model for speaker naming in movies that leverages visua...
research
∙
06/30/2018
EnFuzz: From Ensemble Learning to Ensemble Fuzzing
Fuzzing is widely used for software vulnerability detection. There are v...
research
∙
09/28/2017