16 citations · 20 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026
Coverage Cliffs in Off-Policy Quantile Certification
Pauline Bourigault, Emmanuelle Bourigault
We study when logged contextual-bandit data can certify an upper tail quantile for a policy selected from the same sample. We construct a PAC-Bayes Bernstein lower-confidence envel…
cs.LG2026
LeanPolish: Verified Supervision for Lean Proof Compression
Pauline Bourigault
Verified proof edits offer a natural source of supervision for improving language-model-generated Lean proofs. Yet verification establishes that an edit is correct, not that its tr…