There is a newer version of the record available.

Published April 4, 2024 | Version 1.0
Software Open

VERT: Verified Equivalent Rust Transpilation with Large Language Models

Authors/Creators

Description

Replication package for VERT, in submission to OOPSLA-2024.

Files

Files (1.4 GB)

Name Size
md5:b8ba269dc09b0974691e35014462784f
1.4 GB Download

Additional details

Dates

Submitted
2024-04-04

References

  • NA