Published October 14, 2025 | Version v2
Software Open

Loom: A Framework for Foundational Multi-Modal Program Verifiers (Artifact)

Authors/Creators

  • 1. ROR icon National University of Singapore
  • 2. ROR icon Yale-NUS College

Files

README.md

Files (7.5 GB)

Name Size Download all
md5:a2ea027bbd10718337d767aaffbe6877
7.5 GB Preview Download
md5:cedb742fdc55dd47decb92bbe05f3a23
459.6 kB Preview Download
md5:0c194c7645c80ab2b7e6b507f6c2b6da
31.1 kB Preview Download

Additional details

Software

Repository URL
https://github.com/verse-lab/loom