Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.

X. Zhang, N. Zhu, Y. He, J. Zou, Q. Huang, X. Jin, Y. Guo, C. Mao, Z. Zhu, D. Yue, F. Zhu, Y. Li, Y. Wang, Y. Huang, R. Wang, C. Qin, Z. Zeng, S. Xie, X. Luo, and T. Leng. CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matchingM. Zhang. TU München, (2009)

Xianghong Zhang

Miao Zhang

Wei Zhang

Other publications of authors with the same name

Nonlinear Generalized Predictive Control of Permanent Magnet Synchronous Motor Based on Extended State Observer.Y. Liu, Y. Wang, X. Zhang, G. Luo, S. Li, and Y. Wang. IECON, page 3225-3230. IEEE, (2019)Completion time minimization for UAV enabled data collection with communication link constrained.B. Wu, D. Guo, B. Zhang, X. Zhang, H. Wang, H. Wang, and H. Jiang. IET Commun., 16 (10): 1025-1040 (2022)VCG Auction-based Multi-Relay Selection in Hybrid Satellite-Terrestrial Overlay Networks.X. Zhang, B. Zhang, D. Guo, Y. Jia, and Z. Chen. WCSP, page 736-741. IEEE, (2020)FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning.X. Zhang, N. Zhu, Y. He, J. Zou, C. Qin, Y. Li, and T. Leng. Symmetry, 16 (4): 404 (April 2024)FGeo-TP: A Language Model-Enhanced Solver for Euclidean Geometry Problems.Y. He, J. Zou, X. Zhang, N. Zhu, and T. Leng. Symmetry, 16 (4): 421 (April 2024)FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network.X. Zhang, N. Zhu, Y. He, J. Zou, C. Qin, Y. Li, Z. Zeng, and T. Leng. CoRR, (2024)Oblique Projection Polarization Filter-Based Self-Interference Cancellation Scheme in In-Band Full-Duplex Systems.C. Xie, X. Zhang, and D. Guo. CyberC, page 298-303. IEEE, (2019)A Study of Network Informal Language Using Minimal Supervision Approach.X. Zhang, and T. Yao. SJTU-TUB Joint Workshop, page 169-175. Springer, (2008)Water holdup prediction of oil-water two-phase flow in horizontal well using a 12-probe conductance array.X. Zhang, L. Xu, J. Sun, S. Sun, W. Tian, and Y. Xie. I2MTC, page 1-5. IEEE, (2020)FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning.J. Zou, X. Zhang, Y. He, N. Zhu, and T. Leng. Symmetry, 16 (4): 437 (April 2024)

BibSonomy

Disambiguation of "Zhang, Xiaokai"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.

Please choose a person to relate this publication to

Zhang Zhang

Meng Zhang

Xianghong Zhang

Miao Zhang

Wei Zhang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Zhang, Xiaokai"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.

Please choose a person to relate this publication to

Zhang Zhang

Meng Zhang

Xianghong Zhang

Miao Zhang

Wei Zhang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning.