2 citations · 3 across the 20 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.LO2024
Formalizing MLTL Formula Progression in Isabelle/HOL
Katherine Kosaian, Zili Wang, Elizabeth Sloan +1
Mission-time Linear Temporal Logic (MLTL) is rapidly increasing in popularity as a specification logic, e.g., for runtime verification and model checking, driving a need for a trus…
cs.CV2024★ 1 cited
R3D-AD: Reconstruction via Diffusion for 3D Anomaly Detection
Zheyuan Zhou, Le Wang, Naiyu Fang +3
3D anomaly detection plays a crucial role in monitoring parts for localized inherent defects in precision manufacturing. Embedding-based and reconstruction-based approaches are amo…
cs.CV2024
A Novel Garment Transfer Method Supervised by Distilled Knowledge of Virtual Try-on Model
Naiyu Fang, Lemiao Qiu, Shuyou Zhang +3
This paper proposes a novel garment transfer method supervised with knowledge distillation from virtual try-on. Our method first reasons the transfer parsing to provide shape prior…