STAR: Cross-modal [STA] tement [R] epresentation for selecting relevant mathematical premises

D Ferreira, A Freitas - Proceedings of the 16th Conference of the …, 2021 - aclanthology.org
Mathematical statements written in natural language are usually composed of two different
modalities: mathematical elements and natural language. These two modalities have …

Quasi-symbolic explanatory nli via disentanglement: A geometrical examination

Y Zhang, DS Carvalho, I Pratt-Hartmann… - arXiv preprint arXiv …, 2022 - arxiv.org
Disentangling the encodings of neural models is a fundamental aspect for improving
interpretability, semantic control, and understanding downstream task performance in …

Do natural language explanations represent valid logical arguments? verifying entailment in explainable nli gold standards

M Valentino, I Pratt-Hartmann, A Freitas - arXiv preprint arXiv:2105.01974, 2021 - arxiv.org
An emerging line of research in Explainable NLP is the creation of datasets enriched with
human-annotated explanations and rationales, used to build and evaluate models with step …

Information Retrieval and Knowledge Extraction for Academic Writing

F Benites - Digital Writing Technologies in Higher Education …, 2023 - Springer
The amount of unstructured scientific data in the form of documents, reports, papers, patents,
and the like is exponentially increasing each year. Technological advances and their …

Grow-and-Clip: Informative-yet-Concise Evidence Distillation for Answer Explanation

Y Chen, Y Xiao, B Liu - 2022 IEEE 38th International …, 2022 - ieeexplore.ieee.org
Interpreting the predictions of existing Question Answering (QA) models is critical to many
real-world intelligent applications, such as QA systems for healthcare, education, and …

Two-Phase Semantic Retrieval for Explainable Multi-Hop Question Answering

Q Wang, J Feng, G Xu, L Huang - International Conference on Neural …, 2023 - Springer
Abstract Explainable Multi-Hop Question Answering (MHQA) requires an ability to reason
explicitly across facts to arrive at the answer. The majority of multi-hop reasoning methods …

Automatically Solving Elementary Science Questions: A Survey

S Nagdev, MA Radke, M Ramanath - IETE Technical Review, 2023 - Taylor & Francis
Traditionally, Question Answering (QA) has been an important task in the field of Artificial
Intelligence (AI) and a substantial amount of research has been done in the past proposing …

[PDF][PDF] Improving Transformer-Based Automated Scoring of K-12 Science Items

A Kwako, C Ormerod - 2024 - researchgate.net
Transformer-based large language models (LLM) s are effective at scoring a wide range of
short, constructed response (SCR) items, as evidenced by high levels of interrater reliability …

[图书][B] Explanation-Based Scientific Natural Language Inference

M Valentino - 2022 - search.proquest.com
Building systems that can explain and understand the world is a long-standing goal for
Artificial Intelligence (AI). The ability to explain, in fact, constitutes an archetypal feature of …

EnnCore: end-to-end conceptual guarding of neural architectures

E Manino, D Carvalho, Y Dong, J Rozanova, X Song… - 2022 - eprints.soton.ac.uk
The EnnCore project addresses the fundamental security problem of guaranteeing safety,
transparency, and robustness in neural-based architectures. Specifically, EnnCore aims at …