most citedCLIP-PAE: Projection-Augmentation Embedding to Extract Relevant Features for a Disentangled, Interpretable, and Controllable Text-Guided Face Manipulation

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2025

Comparing Parameterizations and Objective Functions for Maximizing the Volume of Zonotopic Invariant Sets

Chenliang Zhou, Heejin Ahn, Ian M. Mitchell

In formal safety verification, many proposed algorithms use parametric set representations and convert the computation of the relevant sets into an optimization problem; consequent…