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.

Xinrong Guo

Jiong Guo

Guo Cheng

Baoliang Guo

Jianbin Guo

Other publications of authors with the same name

Do Large Language Models Know about Facts?X. Hu, J. Chen, X. Li, Y. Guo, L. Wen, P. Yu, and Z. Guo. CoRR, (2023)AVeriTeC: A Dataset for Real-world Claim Verification with Evidence from the Web.M. Schlichtkrull, Z. Guo, and A. Vlachos. CoRR, (2023)Read it Twice: Towards Faithfully Interpretable Fact Verification by Revisiting Evidence.X. Hu, Z. Hong, Z. Guo, L. Wen, and P. Yu. SIGIR, page 2319-2323. ACM, (2023)MR2: A Benchmark for Multimodal Retrieval-Augmented Rumor Detection in Social Media.X. Hu, Z. Guo, J. Chen, L. Wen, and P. Yu. SIGIR, page 2901-2912. ACM, (2023)Learning From Correctness Without Prompting Makes LLM Efficient Reasoner.Y. Yao, H. Wu, Z. Guo, B. Zhou, J. Gao, S. Luo, H. Hou, X. Fu, and L. Song. CoRR, (2024)Uncovering Main Causalities for Long-tailed Information Extraction.G. Nan, J. Zeng, R. Qiao, Z. Guo, and W. Lu. EMNLP (1), page 9683-9695. Association for Computational Linguistics, (2021)DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning.J. Xiong, Z. Li, C. Zheng, Z. Guo, Y. Yin, E. Xie, Z. Yang, Q. Cao, H. Wang, X. Han and 3 other author(s). CoRR, (2023)Do We Need Language-Specific Fact-Checking Models? The Case of Chinese.C. Zhang, Z. Guo, and A. Vlachos. CoRR, (2024)Scene Graph Modification as Incremental Structure Expanding.X. Hu, Z. Guo, Y. Fu, L. Wen, and P. Yu. COLING, page 5707-5720. International Committee on Computational Linguistics, (2022)METS-CoV: A Dataset of Medical Entity and Targeted Sentiment on COVID-19 Related Tweets.P. Zhou, Z. Wang, D. Chong, Z. Guo, Y. Hua, Z. Su, Z. Teng, J. Wu, and J. Yang. NeurIPS, (2022)

BibSonomy

Disambiguation of "Guo, Zhijiang"

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

Xinrong Guo

Jiong Guo

Guo Cheng

Baoliang Guo

Jianbin Guo

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Guo, Zhijiang"

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

Xinrong Guo

Jiong Guo

Guo Cheng

Baoliang Guo

Jianbin Guo

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.