Augmentation

AI & ML interests

None defined yet.

Recent Activity

redpig-at-imo  authored a paper 23 days ago

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

redpig-at-imo  authored a paper 23 days ago

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

redpig-at-imo  authored a paper 23 days ago

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities

View all activity

Team members 7