Skip to content

ProofDiff v0.1.1 — arXiv release

Latest
Latest

Choose a tag to compare

View all tags
@matantsafrir matantsafrir released this 03 Nov 19:57
· 1 commit to main since this release
v0.1.1
fa5f1d3

Definitive ProofDiff release for the arXiv paper.

This patch release corrects the provenance record included in v0.1.0. The software includes deterministic normalization of repeated LaTeX command backslashes inside delimited mathematics while preserving raw model responses in run logs.

Validated from a fresh GitHub clone:

  • package and wheel build
  • 104 offline release tests
  • all four live example pipelines without manual intervention

Paper artifact assets:

  • proofdiff-v0.1.1-paper-artifacts.zip — exact inputs, accepted outputs, run metadata, rendered views, figures, provenance, and internal checksums
  • proofdiff-v0.1.1-paper-artifacts.zip.sha256 — SHA-256 checksum for the ZIP

MIT license for software; CC BY 4.0 for documentation and project artifacts. Model-backed stages are nondeterministic, so later runs may differ from the archived paper outputs.

Archival record

The exact v0.1.1 software snapshot and paper artifacts are archived on Zenodo:

Assets 4
Loading