foreverlasting1202/QuestA-Nemotron-1.5B
Text Generation
•
Updated
•
461
•
16
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
liked
a
model
23 days ago
liked
a
dataset
6 months ago