arxiv:2508.03613
Hongzhou Lin
redpig-at-imo
AI & ML interests
Reasoning LLM, LEAN
Recent Activity
liked
a model
23 days ago
foreverlasting1202/QuestA-Nemotron-1.5B
authored
a paper
23 days ago
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem
Proving
authored
a paper
23 days ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data
Synthesis and Self-Correction
Organizations
models
0
None public yet
datasets
0
None public yet