Fetching the paper…

Specification-Driven Video Search via Foundation Models and Formal Verification · Around