“So it seems like there's a couple of different or there's…” — Software Engineering Daily at 24:07
“So it seems like there's a couple of different or there's a spectrum of approaches where you could go buying like an LOM or reasoning model with these kind of formal methods where it's like, you know, verifying AI output or even something that stuff that you where the LOM can rely on the formal method and sort of…”
0:00
50:29