Jia Zou

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 7

Top Topics

Language Modelling

Image Reconstruction From Projections

Prime Implicants

Top Venues

Publications

Yiming He, Jia Zou, Xiaokai Zhang, Na Zhu, Tuo Leng
FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems. CoRR (2024)
Yiming He, Jia Zou, Xiaokai Zhang, Na Zhu, Tuo Leng
FGeo-TP: A Language Model-Enhanced Solver for Euclidean Geometry Problems. Symmetry 16 (4) (2024)
Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Cheng Qin, Yang Li, Tuo Leng
FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning. Symmetry 16 (4) (2024)
Jia Zou, Xiaokai Zhang, Yiming He, Na Zhu, Tuo Leng
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning. Symmetry 16 (4) (2024)
Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Cheng Qin, Yang Li, Zhenbing Zeng, Tuo Leng
FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network. CoRR (2024)
Jia Zou, Xiaokai Zhang, Yiming He, Na Zhu, Tuo Leng
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning. CoRR (2024)
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
FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning. CoRR (2023)