Gesi, Jiri

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 · 39 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.LG
2. Can LLM Agents Simulate Multi-Turn Human Behavior? Evidence from Real Online Customer Behavior Data
   2025/03/26 by Lu, Yuxuan, Huang, Jing, Han, Yan +8 · 9 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences
3. OPeRA: A Dataset of Observation, Persona, Rationale, and Action for Evaluating LLMs on Human Online Shopping Behavior Simulation
   2025/06/05 by Wang, Ziyi, Lu, Yuxuan, Li, Wenbo +13 · 9 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC)
4. Shop-R1: Rewarding LLMs to Simulate Human Behavior in Online Shopping via Reinforcement Learning
   2025/07/23 by Yimeng Zhang, Zhang, Yimeng, Tian Wang +29 · 7 citations
   Engineering · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Transportation and Mobility Innovations
5. Multi-Agent-as-Judge: Aligning LLM-Agent-Based Automated Evaluation with Multi-Dimensional Human Evaluation
   2025/07/28 by Chen, Jiaju, Lu, Yuxuan, Wang, Xiaojie +6 · 9 citations
   #68T50 #Computation and Language (cs.CL) #FOS: Computer and information sciences
6. Code Smells in Machine Learning Systems
   2022/03/02 by Jiri Gesi, Gesi, Jiri, Siqi Liu +15 · 1 citation
   Computer Science · Materials Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability
7. UXAgent: A System for Simulating Usability Testing of Web Design with LLM Agents
   2025/04/13 by Lu, Yuxuan, Yao, Bingsheng, Gu, Hansu +7 · 5 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC)
8. SFT Doesn't Always Hurt General Capabilities: Revisiting Domain-Specific Fine-Tuning in LLMs
   2025/09/25 by Lin, Jiacheng, Wang, Zhongruo, Qian, Kun +14 · 2 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences
9. Does the Order of Fine-tuning Matter and Why?
   2024/10/03 by Qihong Chen, Jiawei Li, Chen, Qihong +13 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Mobile Crowdsensing and Crowdsourcing #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability