Mix N Match

1. Grounded Segment Anything - "Grounding DINO with Segment Anything & Stable Diffusion & BLIP & Whisper - Automatically Detect , Segment and Generate Anything with Image, Text, and Speech Inputs"

2. LeadDojo theorem proving