Yingjia Wan
- AutoPSV: Automated Process-Supervised Verifier
2024/05/27 by Jianqiao Lu, Lu, Jianqiao, Zhiyang Dou +11 · 10 citations
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services
- Process-Driven Autoformalization in Lean 4
2024/06/04 by Jianqiao Lu, Lu, Jianqiao, Yingjia Wan +18 · 10 citations
Business, Management and Accounting · Engineering · #Collaboration in agile enterprises #Computation and Language (cs.CL) #FOS: Computer and information sciences #Flexible and Reconfigurable Manufacturing Systems #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Product Development and Customization
- FormalAlign: Automated Alignment Evaluation for Autoformalization
2024/10/14 by J. G. Lu, Yingjia Wan, Lu, Jianqiao +9 · 6 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Software Engineering Research
- SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
2025/05/20 by Anjiang Wei, Y. Wu, Wei, Anjiang +13 · 9 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques
- Meaningless Tokens, Meaningful Gains: How Activation Shifts Enhance LLM Reasoning
2025/10/01 by Shi, Zeru, Yingjia Wan, Wan, Yingjia +10 · 1 citation
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering Research
- InteractComp: Evaluating Search Agents With Ambiguous Queries
2025/10/28 by Mingyi Deng, Lijun Huang, Deng, Mingyi +48 · 2 citations
#cs.CL #cs.AI