We stand with Ukraine  

Jia Zou

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


According to our database1, Jia Zou authored at least 4 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

On csauthors.net:

Bibliography

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-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning.
[BibTeX]
[DOI]
Jia Zou
,
Xiaokai Zhang
,
Yiming He
,
Na Zhu
,
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...