Henry Robbins, Connor Lawless, Madeleine Udell, and Ellen Vitercik

Actor across 2 radar cases, incl. as cascade root

Cases

• cascade-root-for flare-milp-reformulation-verification
• cascade-root-for flare-milp-lean-verification

Receipts (deposited as cases close)

• none yet — receipts append when linked cases resolve or expire