research
∙
04/24/2023
Towards Realistic Generative 3D Face Models
In recent years, there has been significant progress in 2D generative fa...
share
research
∙
03/31/2023
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Contract-based design is a method to facilitate modular system design. W...
research
∙
08/08/2022
