Skip to content

“So actually a lot of model providers do that today. They…” — Software Engineering Daily at 18:01

Software Engineering Daily Formal Methods as Agent Guardrails

“So actually a lot of model providers do that today. They use the Lean Theron-Perver, for example, and synthesize a lot of true and false theorems.”

0:00 50:29