Lambda Formalization
Less-relevant results
Provably Auditable and Safe LLM Agents from Human-Authored Ontologies
💻Programming languages Content type: AcademicLean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
💻CS Content type: AcademicExtraction and Search in Rocq: Theorems, Definitions and Their dependencies
📐Proof Assistants Content type: AcademicIncremental Computation for Efficient Programmable Inference in Probabilistic Programs
💻CS Content type: AcademicNo more posts from matmat's subscribed feeds.