Princeton AI for Math

university

https://pli.princeton.edu/

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

zrrr authored a paper 3 days ago

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

zrrr authored a paper 8 months ago

Panacea: Pareto Alignment via Preference Adaptation for LLMs

zrrr authored a paper 8 months ago

From Uncertainty to Trust: Enhancing Reliability in Vision-Language Models with Uncertainty-Guided Dropout Decoding

View all activity

PLI-AI4Math 's datasets

None public yet