Yong Lin
linyongver
AI & ML interests
None yet
Recent Activity
upvoted a paper 15 days ago
AgentSPEX: An Agent SPecification and EXecution Language upvoted a paper 7 months ago
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem
Proving updated a model 10 months ago
Goedel-LM/Goedel-Formalizer-V2-32BOrganizations
