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.

Wei Shen

Wan Shen

Hong Shen

Jian Shen

Liming Shen

Other publications of authors with the same name

Induction Motor Stator Winding Inter-Tern Short Circuit Fault Detection Based on Start-Up Current Envelope Energy.L. Chen, J. Shen, G. Xu, C. Chi, Q. Feng, Y. Zhou, Y. Deng, and H. Wen. Sensors, 23 (20): 8581 (October 2023)National instrument-based experimental validation of a nonlinear real-time induction motor model in an EV simulation system.J. Shen, G. Xu, Y. Xu, L. Qiu, and G. Li. ICIT, page 959-964. IEEE, (2017)Learning the Joint Representation of Heterogeneous Temporal Events for Clinical Endpoint Prediction.L. Liu, J. Shen, M. Zhang, Z. Wang, and J. Tang. AAAI, page 109-116. AAAI Press, (2018)Measuring Vision-Language STEM Skills of Neural Models.J. Shen, Y. Yuan, S. Mirzoyan, M. Zhang, and C. Wang. CoRR, (2024)FIMO: A Challenge Formal Dataset for Automated Theorem Proving.C. Liu, J. Shen, H. Xin, Z. Liu, Y. Yuan, H. Wang, W. Ju, C. Zheng, Y. Yin, L. Li and 2 other author(s). CoRR, (2023)Learning to Answer Ambiguous Questions with Knowledge Graph.Y. Zhu, J. Shen, and M. Zhang. CoRR, (2019)ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak Supervision.Q. Liu, W. Guan, J. Shen, F. Cheng, and S. Kurohashi. CoRR, (2022)Lyra: Orchestrating Dual Correction in Automated Theorem Proving.C. Zheng, H. Wang, E. Xie, Z. Liu, J. Sun, H. Xin, J. Shen, Z. Li, and Y. Li. CoRR, (2023)Generate & Rank: A Multi-task Framework for Math Word Problems.J. Shen, Y. Yin, L. Li, L. Shang, X. Jiang, M. Zhang, and Q. Liu. EMNLP (Findings), page 2269-2279. Association for Computational Linguistics, (2021)DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function.H. Wang, Y. Yuan, Z. Liu, J. Shen, Y. Yin, J. Xiong, E. Xie, H. Shi, Y. Li, L. Li and 3 other author(s). ACL (1), page 12632-12646. Association for Computational Linguistics, (2023)

BibSonomy

Disambiguation of "Shen, Jianhao"

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

Wei Shen

Wan Shen

Hong Shen

Jian Shen

Liming Shen

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Shen, Jianhao"

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

Wei Shen

Wan Shen

Hong Shen

Jian Shen

Liming Shen

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.