Jiri Gesi

1. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
   2025/08/05 by Yong Lin, Shange Tang, Lin, Yong +37 · 2 voices · 36 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.LG
2. Shop-R1: Rewarding LLMs to Simulate Human Behavior in Online Shopping via Reinforcement Learning
   2025/07/23 by Yimeng Zhang, Tian Wang, Zhang, Yimeng +29 · 5 citations
   Engineering · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Transportation and Mobility Innovations