Published April 27, 2026 | Version v1
Dataset Open

CAV 2026 Automating Bitvector and Finite Field Equivalence Proofs in Lean CirC Benchmarks ( Lean + SMT)

Authors/Creators

  • 1. ROR icon Stanford University

Description

These are CirC benchmarks for the CAV 2026 Automating Bitvector and Finite Field Equivalence Proofs in Lean CirC Benchmarks ( Lean + SMT) 

Files

Files (329.2 MB)

Name Size Download all
md5:38cb081f048a17b6c8cb1e07a6a1b67b
329.2 MB Download