Space: Sugutt/repro-editable-proof-sketch
title: Repro - Editable Proof Sketch for Automated Theorem Proving
sdk: static
tags: trackio, trackio-logbook, open-experiment, icml2026-repro, paper-mI3K0e1KsN
Tags: static, trackio, trackio-logbook, open-experiment, icml2026-repro, paper-mI3K0e1KsN, region:us