Certior Systems

AI & ML interests

None defined yet.

Recent Activity

paulibo  submitted a paper about 20 hours ago

Tail-Influence Sampling for CVaR Policy Evaluation

paulibo  authored a paper 4 days ago

LeanPolish: Verified Supervision for Lean Proof Compression

paulibo  authored a paper 4 days ago

Tail-Influence Sampling for CVaR Policy Evaluation

View all activity

Team members 1