9 citations · 10 across the 4 of their papers we have counts for
4 papers
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Jing Xiong, Jianhao Shen, Ye Yuan +11
Automated theorem proving (ATP) has become an appealing domain for exploring the reasoning ability of the recent successful generative language models. However, current ATP benchma…
Do Large Language Models Know about Facts?
Xuming Hu, Junzhe Chen, Xiaochuan Li +4
Large language models (LLMs) have recently driven striking performance improvements across a range of natural language processing tasks. The factual knowledge acquired during pretr…
Multimodal Relation Extraction with Cross-Modal Retrieval and Synthesis
Xuming Hu, Zhijiang Guo, Zhiyang Teng +2
Multimodal relation extraction (MRE) is the task of identifying the semantic relationships between two entities based on the context of the sentence image pair. Existing retrieval-…
Read it Twice: Towards Faithfully Interpretable Fact Verification by Revisiting Evidence
Xuming Hu, Zhaochen Hong, Zhijiang Guo +2
Real-world fact verification task aims to verify the factuality of a claim by retrieving evidence from the source document. The quality of the retrieved evidence plays an important…