🔍 Chip Verification - nmarshall · Scour

Automated SVA Generation with LLMs ⚙️LLVM

arxiv.org·1d

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations ∀Lean4

arxiv.org·6d

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning ∀Lean4

arxiv.org·1d

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer ∀Lean4

arxiv.org·5d

Testbed Evaluation of AI-based Precoding in Distributed MIMO Systems 🤖AI Inference

arxiv.org·1d

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications 🔗Session Types

arxiv.org·6d