Princeton AI for Math

AI & ML interests

None defined yet.

Recent Activity

zrrr  authored a paper 13 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

Team members 12