Zou, Jia

1. FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
   2023/10/27 by Xiaokai Zhang, Zhang, Xiaokai, Na Zhu +37 · 4 citations
   Computer Science · #Model-Driven Software Engineering Techniques #Logic, programming, and type systems #Constraint Satisfaction and Optimization
2. PlinyCompute: A Platform for High-Performance, Distributed, Data-Intensive Tool Development
   2017/11/15 by Jia Zou, Ross Barnett, Zou, Jia +15 · 1 citation
   Computer Science · #Advanced Data Storage Technologies #Cloud Computing and Resource Management #Databases (cs.DB) #Distributed #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
3. Pangea: Monolithic Distributed Storage for Data Analytics
   2018/08/18 by Jia Zou, Arun Iyengar, Zou, Jia +3 · 1 citation
   Computer Science · #Advanced Data Storage Technologies #Cloud Computing and Resource Management #Parallel Computing and Optimization Techniques
4. Tensor Relational Algebra for Machine Learning System Design
   2020/09/01 by Yuan, Binhang, Jankov, Dimitrije, Zou, Jia +3 · 1 citation
   #Databases (cs.DB) #FOS: Computer and information sciences #Machine Learning (cs.LG)
5. IDNet: A Novel Dataset for Identity Document Analysis and Fraud Detection
   2024/08/03 by Guan, Hong, Wang, Yancheng, Xie, Lulu +8 · 2 citations
   #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Multimedia (cs.MM)
6. FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
   2024/02/14 by Zou Jia, Xiaokai Zhang, Zou, Jia +7 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Software Engineering Research #Software Reliability and Analysis Research