Pauline Bourigault

paulibo

·

https://paulinebourigault.github.io/

paulinebourigault

AI & ML interests

None yet

Recent Activity

upvoted a paper about 11 hours ago

Tail-Influence Sampling for CVaR Policy Evaluation

submitted a paper about 13 hours ago

Tail-Influence Sampling for CVaR Policy Evaluation

authored a paper 4 days ago

LeanPolish: Verified Supervision for Lean Proof Compression

View all activity

Organizations

Papers 4

arxiv:2609.38096

arxiv:2609.38384

arxiv:2504.11354

arxiv:2402.14227

models 0

None public yet

datasets 3

paulibo/vcore-workflow-envelopes

Viewer • Updated 6 days ago • 16.3k • 101

paulibo/vcore-actions-benchmark

Viewer • Updated 6 days ago • 9.69k • 134

paulibo/leanforge-compression-eval

Viewer • Updated Jun 25 • 11.8k • 34