Skip to article frontmatter Skip to article content

prealpha; Formal Verification Agent Recipes

Introduction

Dafny part 1: with a framework

Dafny part 2: plain Python

Lean

DalekGitBench

RL

Outlook

Please measure verification burden

Please measure verification burden

Please measure verification burden

Reinforcement Learning