verse-lab/loom

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

Lean

161

271 commits

updated Sep 16, 2026

See the code

Contributors

volodeyka

143 commits

F47-503

79 commits

dipeshkaphle

21 commits

zqy1018

18 commits

Languages

Lean

100.0%

verse-lab/loom

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

Lean

161

271 commits

updated Sep 16, 2026

See the code

Contributors

volodeyka

143 commits

F47-503

79 commits

dipeshkaphle

21 commits

zqy1018

18 commits

Languages

Lean

100.0%