Work

Axolocl: Accelerating Program Verifiers by Automatic Proof Localization. Software Artifact.

Year: 2025

Type: article

Abstract: CAV 2025 artifact for publication: Accelerating Automated Program Verifiers by Automatic Proof Localization

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.15201478

Authors: Gopinathan, Kiran, Spiliopoulos, Dionysios, Goyal, Vikram, Müller, Peter, Püschel, Markus, Sergey, Ilya

Institutions: University of Illinois Urbana-Champaign, ETH Zurich, National University of Singapore

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6930526775

FWCI: 0.408

Cites:

Cited by: 1

Related to: