CF
Chris Farber
cs.AIcs.CLcs.LG
On Valency
published · living versionsW_c543qqja·v1 · currentpublished
Fix, Not Just Resample: Bounded Compiler-Guided Repair in Lean 4
with Haotian Deng, Sonal Narasimha, Samskrithi Sivakumar, Yexiang Xue
1 version
Preprints & journals
2 papers in the corpus · 2025–2026Fix, Not Just Resample: Bounded Compiler-Guided Repair in Lean 42610.26942v1 · Haotian Deng, Chris Farber, Sonal Narasimha et al.2026 · 0 citationsarXivon Valency
Rubric-Conditioned LLM Grading: Alignment, Uncertainty, and Robustness2601.08843v1 · Haotian Deng, Chris Farber, Jiyoon Lee et al.2025 · 0 citationsarXiv
Career total: 2 works. 2 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.