This month we have elicitation of GPT-o1’s Lean4 skills, a worked example in self driving cars, and an interactive proof approach to correctness of learned components.
September 2024 Progress in Guaranteed Safe AI
September 2024 Progress in Guaranteed Safe AI
September 2024 Progress in Guaranteed Safe AI
This month we have elicitation of GPT-o1’s Lean4 skills, a worked example in self driving cars, and an interactive proof approach to correctness of learned components.