Hongzhou Lin
redpig-at-imo
AI & ML interests
Reasoning LLM, LEAN
Recent Activity
liked
a model
about 1 month ago
foreverlasting1202/QuestA-Nemotron-1.5B
authored
a paper
about 1 month ago
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem
Proving
authored
a paper
about 1 month ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data
Synthesis and Self-Correction
Organizations
