Large language models (LLMs) have shown promise in proving formal theorems using proof
assistants such as Lean. However, existing methods are difficult to reproduce or build on …

Logical reasoning, ie, deductively inferring the truth value of a conclusion from a set of
premises, is an important task for artificial intelligence with wide potential impacts on …

Formal verification provides a rigorous and systematic approach to ensure the correctness
and reliability of software systems. Yet, constructing specifications for the full proof relies on …

This paper presents LLM4S EC HW, a novel framework for hardware debugging that
leverages domain-specific Large Language Model (LLM). Despite the success of LLMs in …

Users are increasingly being warned to check AI-generated content for correctness. Still, as
LLMs (and other generative models) generate more complex output, such as summaries …

Formal property verification (FPV) has existed for decades and has been shown to be
effective at finding intricate RTL bugs. However, formal properties, such as those written as …

6G open radio access networks (O-RAN) promises to open data interfaces to enable plug-
andplay service apps, many of which are consumer and business-facing. Opening up 6G …

Serverless applications consist of functions written in heterogeneous programming
languages, use diverse data stores and communication services, and evolve rapidly …

With the growing use of temporal logics in areas ranging from robot planning to runtime
verification, it is critical that users have a clear understanding of what a specification means …

Assertion-based verification is a technique to ensure that a circuit design conforms to its
specification and help detect errors early in the design process. It is enabled by powerful …