Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text

30 April 2020

Papers citing "Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text"

5 / 5 papers shown

Title
Hierarchical Attention Generates Better Proofs Jianlong Chen Chao Li Yang Yuan Andrew Chi-Chih Yao AIMat LRM 33 0 0 27 Apr 2025
Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions Jordan Meadows Tamsin James André Freitas ReLM LRM AI4CE 41 1 0 29 Apr 2024
SsciBERT: A Pre-trained Language Model for Social Science Texts Si Shen Jiang-fu Liu Litao Lin Ying Huang Lin Zhang Changting Liu Yu Feng Dongbo Wang 11 27 0 09 Jun 2022
Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold Standards Marco Valentino Ian Pratt-Hartman André Freitas XAI LRM 21 12 0 05 May 2021
ExplanationLP: Abductive Reasoning for Explainable Science Question Answering Mokanarangan Thayaparan Marco Valentino André Freitas LRM 23 9 0 25 Oct 2020