We stand with Ukraine  

Jia Zou

Orcid: 0009-0001-3657-4909

Affiliations:
  • Shanghai University, School of Computer Engineering and Science / Institute of Artificial Intelligence, China


According to our database1, Jia Zou authored at least 6 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning.
[BibTeX]
[DOI]
Jia Zou
,
Xiaokai Zhang
,
Yiming He
,
Na Zhu
,
Tuo Leng
Symmetry, April, 2024

FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning.
[BibTeX]
[DOI]
Xiaokai Zhang
,
Na Zhu
,
Yiming He
,
Jia Zou
,
Cheng Qin
,
Yang Li
,
Tuo Leng
Symmetry, April, 2024

FGeo-TP: A Language Model-Enhanced Solver for Euclidean Geometry Problems.
[BibTeX]
[DOI]
Yiming He
,
Jia Zou
,
Xiaokai Zhang
,
Na Zhu
,
Tuo Leng
Symmetry, April, 2024

FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network.
[BibTeX]
[DOI]
Xiaokai Zhang
,
Na Zhu
,
Yiming He
,
Jia Zou
,
Cheng Qin
,
Yang Li
,
Zhenbing Zeng
,
Tuo Leng
CoRR, 2024

FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems.
[BibTeX]
[DOI]
Yiming He
,
Jia Zou
,
Xiaokai Zhang
,
Na Zhu
,
Tuo Leng
CoRR, 2024

2023
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.
[BibTeX]
[DOI]
Xiaokai Zhang
,
Na Zhu
,
Yiming He
,
Jia Zou
,
Qike Huang
,
Xiaoxiao Jin
,
Yanjun Guo
,
Chenyang Mao
,
Zhe Zhu
,
Dengfeng Yue
,
Fangzhen Zhu
,
Yang Li
,
Yifan Wang
,
Yiwen Huang
,
Runan Wang
,
Cheng Qin
,
Zhenbing Zeng
,
Shaorong Xie
,
Xiangfeng Luo
,
Tuo Leng
CoRR, 2023


  Loading...