Formal Verification
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
📐Formal Languages Content type: AcademicCan LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
💬LLMs Content type: AcademicSyntax-driven Incremental Program Verification of Matching Logic Properties
📐Formal Languages Content type: AcademicVASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
🧪Agent Evaluation Content type: AcademicExtraction and Search in Rocq: Theorems, Definitions and Their dependencies
💬LLMs Content type: AcademicNo more posts from sworddish's subscribed feeds.