Pauline Bourigault

paulibo

·

https://paulinebourigault.github.io/

paulinebourigault

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago

Tail-Influence Sampling for CVaR Policy Evaluation

submitted a paper 2 days ago

Tail-Influence Sampling for CVaR Policy Evaluation

authored a paper 5 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 8 days ago • 16.3k • 113

paulibo/vcore-actions-benchmark

Viewer • Updated 8 days ago • 9.69k • 136

paulibo/leanforge-compression-eval

Viewer • Updated Jun 25 • 11.8k • 70