Valency Hub
alphaFeedback
PDF

WorksComputer Science

Fix, Not Just Resample: Bounded Compiler-Guided Repair in Lean 4

Haotian Deng, Chris Farber, Sonal Narasimha, Samskrithi Sivakumar, Yexiang Xue

Published Fresh — added to the Hub within the last 30 daysv1

Publication details
License
CC BY 4.0
Status
Published
AI contributions
Not recorded for this paper
View details
Machine checks

No machine checks are available from the Hub API for this paper.