List your company

ResearchFormerly WizWand

Constrained Sample Generation on Hopper-Simple

1SafetyPolyFlow

Evaluation results

Method	Links
PolyFlow2026.06		1	1.74	1.114	0.393	1.1	0.075	0.007
SafeFlow2026.06		1	2.1	1.152	0.415	1	0.833	0.004
RoSD2026.06		1	1.97	1.788	1.862	1.3	1.749	0.087
GaugeFlow2026.06		1	2.41	1.159	0.433	1.1	0.867	0.004
Flow2026.06		0.755	2.1	1.152	0.436	1	0.698	0.003