vix.ing
·
top
·
new
·
best
·
stats
·
spec
Ruslan Khrulev
BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints
2026/07/30 by
Ruslan Khrulev
Computer Science
·
#cs.AI
#msc:68V15
#msc:68V20
#msc:68T05
#acm:68V15
#acm:68V20
#acm:68T05