Proof Assistant
P2: V&L Research
CRATE project
Vision Fundamental Tasks
Diffusion
Diffusion Transformer CRATE
Textures Project