Work

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus

Year: 2026

Type: article

Source: Distributed Ledger Technologies Research and Practice

DOI: 10.1145/3822513

Authors: Elliot Jones, William Knottenbelt

Institution: Imperial College London

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7166199052

FWCI:

Cites: 13

Cited by:

Related to: