Princeton AI for Math

university

https://pli.princeton.edu/

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

narutatsuri authored a paper 5 days ago

Self-Distillation Zero: Self-Revision Turns Binary Rewards into Dense Supervision

zrrr authored a paper about 2 months ago

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

zrrr authored a paper 9 months ago

Panacea: Pareto Alignment via Preference Adaptation for LLMs

View all activity

PLI-AI4Math 's datasets

None public yet