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

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.

J. Xiong, J. Shen, Y. Yuan, H. Wang, Y. Yin, Z. Liu, L. Li, Z. Guo, Q. Cao, Y. Huang, C. Zheng, X. Liang, M. Zhang, and Q. Liu. EMNLP, page 11594-11632. Association for Computational Linguistics, (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.

Haiming Zheng

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylationL. Wang. Uni Marburg, (2009)

Xiaolin Wang

Zhongxin Wang

Other publications of authors with the same name

Joint timing synchronization and channel estimation based on ZCZ sequence set in SC-MIMO-FDE system.Y. Wang, S. He, Y. Sun, Q. Xu, H. Wang, and L. Yang. EURASIP J. Wireless Comm. and Networking, (2016)The performance deterioration from nonlinear amplifier in NxDO system.X. Wang, T. Yong, and H. Wang. IWCMC, page 1219-1224. ACM, (2006)Dynamic Channel Modeling for an Indoor Scenario at 23.5 GHz.N. Zhang, J. Dou, L. Tian, X. Yuan, X. Yang, S. Mei, and H. Wang. IEEE Access, (2015)Utility-Driven Share Scheduling Algorithm in Hadoop.C. Wan, C. Wang, Y. Yuan, H. Wang, and X. Song. ISNN (2), volume 7952 of Lecture Notes in Computer Science, page 560-568. Springer, (2013)A Novel 3D Non-Stationary GBSM for 6G THz Ultra-Massive MIMO Wireless Systems.J. Wang, C. Wang, J. Huang, H. Wang, X. Gao, X. You, and Y. Hao. IEEE Trans. Veh. Technol., 70 (12): 12312-12324 (2021)Performance of TTI Bundling for VoIP In EUTRAN TDD Mode.H. Wang, J. Han, and S. Xu. VTC Spring, IEEE, (2009)Energy-efficient coordinated precoding for multicell system with transceiver impairments.S. He, Y. Huang, S. Jin, H. Wang, and L. Yang. ICCS, page 102-106. IEEE, (2014)Device-to-Device Communication Underlaying Cellular Networks: Connection Establishment and Interference Avoidance.S. Xu, H. Wang, T. Chen, T. Peng, and K. Kwak. KSII Trans. Internet Inf. Syst., 6 (1): 203-228 (2012)Delay Analysis of Wireless Federated Learning Based on Saddle Point Approximation and Large Deviation Theory.L. Li, L. Yang, X. Guo, Y. Shi, H. Wang, W. Chen, and K. Letaief. IEEE J. Sel. Areas Commun., 39 (12): 3772-3789 (2021)In-building coverage of millimeter-wave wireless networks from channel measurement and modeling perspectives.P. Zhang, C. Yi, B. Yang, C. Wang, H. Wang, and X. You. Sci. China Inf. Sci., 63 (8): 1-16 (2020)

BibSonomy

Disambiguation of "Wang, Haiming"

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

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.

Please choose a person to relate this publication to

Haiming Zheng

Wang Wang

Linfang Wang

Xiaolin Wang

Zhongxin Wang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Wang, Haiming"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.

Please choose a person to relate this publication to

Haiming Zheng

Wang Wang

Linfang Wang

Xiaolin Wang

Zhongxin Wang

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

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.