Pauline Bourigault

paulibo

6

·

https://paulinebourigault.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper about 17 hours ago

LeanPolish: Verified Supervision for Lean Proof Compression

authored a paper 3 days ago

LeanPolish: Verified Supervision for Lean Proof Compression

authored a paper 3 days ago

Tail-Influence Sampling for CVaR Policy Evaluation

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