There is a newer version of the record available.

Published January 27, 2025 | Version v1
Software Open

Artifact for Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification

Authors/Creators

  • 1. ROR icon University of California San Diego
  • 2. Instituto Superior Técnico, University of Lisbon
  • 3. ROR icon Imperial College London
  • 4. University of Massachusetts
  • 5. ROR icon University of Massachusetts Amherst

Description

This repository contains the artifact for the paper "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification". The artifact is a compressed archive containing all of the data, models, and code used to produce the results of the paper. The artifact also contains a dockerfile that can be used to create a docker image in which one can directly run the models appearing in the paper.  

Files

Files (7.2 GB)

Name Size
md5:a251f713d6f058a54794d5c3dd2ab70b
7.2 GB Download

Additional details

Funding

U.S. National Science Foundation
1955457
U.S. National Science Foundation
2210243
U.S. National Science Foundation
2220892
Defense Advanced Research Projects Agency
FA8750-24-C-B044
Defense Advanced Research Projects Agency
HR0011-24-2-0307
Fundação para a Ciência e Tecnologia
BD/04736/2023
Fundação para a Ciência e Tecnologia
UIDB/50021/2020

Software

Repository URL
https://github.com/rkthomps/coq-modeling