Marco Valentino

Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies, 2025

Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions.

[BibT_eX]

[DOI]

Leonardo Ranaldi

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations.

[BibT_eX]

[DOI]

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems.

[BibT_eX]

[DOI]

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference.

[BibT_eX]

[DOI]

Geonhee Kim

Proceedings of the Findings of the Association for Computational Linguistics, 2025

Controlling Equational Reasoning in Large Language Models with Prompt Interventions.

[BibT_eX]

[DOI]

Jordan Meadows

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations.

[BibT_eX]

[DOI]

Leonardo Ranaldi

CoRR, 2024

Reasoning with Natural Language Explanations.

[BibT_eX]

[DOI]

CoRR, 2024

A Mechanistic Interpretation of Syllogistic Reasoning in Auto-Regressive Language Models.

[BibT_eX]

[DOI]

Geonhee Kim

CoRR, 2024

SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials.

[BibT_eX]

[DOI]

Maël Jullien

Proceedings of the 18th International Workshop on Semantic Evaluation, 2024

Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024

Multi-Operational Mathematical Derivations in Latent Space.

[BibT_eX]

[DOI]

Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers.

[BibT_eX]

[DOI]

Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EACL 2024, 2024

Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions.

[BibT_eX]

[DOI]

Danilo S. Carvalho

Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, 2024

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement.

[BibT_eX]

[DOI]

Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, 2024

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference.

[BibT_eX]

[DOI]

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models.

[BibT_eX]

[DOI]

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

Inference to the Best Explanation in Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023

Generating Mathematical Derivations with Large Language Models.

[BibT_eX]

[DOI]

Jordan Meadows

CoRR, 2023

A Symbolic Framework for Systematic Evaluation of Mathematical Reasoning with Transformers.

[BibT_eX]

[DOI]

CoRR, 2023

Estimating the Causal Effects of Natural Logic Features in Neural NLI Models.

[BibT_eX]

[DOI]

CoRR, 2023

SemEval-2023 Task 7: Multi-Evidence Natural Language Inference for Clinical Trial Data.

[BibT_eX]

[DOI]

Proceedings of the The 17th International Workshop on Semantic Evaluation, 2023

NLI4CT: Multi-Evidence Natural Language Inference for Clinical Trial Reports.

[BibT_eX]

[DOI]

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

Interventional Probing in High Dimensions: An NLI Case Study.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EACL 2023, 2023

2022

Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference.

[BibT_eX]

[DOI]

Trans. Assoc. Comput. Linguistics, 2022

Going Beyond Approximation: Encoding Constraints for Explainable Multi-hop Inference via Differentiable Combinatorial Solvers.

[BibT_eX]

[DOI]

CoRR, 2022

Scientific Explanation and Natural Language: A Unified Epistemological-Linguistic Perspective for Explainable AI.

[BibT_eX]

[DOI]

CoRR, 2022

Do Transformers Encode a Foundational Ontology? Probing Abstract Classes in Natural Language.

[BibT_eX]

[DOI]

Maël Jullien

CoRR, 2022

Case-Based Abductive Natural Language Inference.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Computational Linguistics, 2022

Decomposing Natural Logic Inferences for Neural NLI.

[BibT_eX]

[DOI]

Proceedings of the Fifth BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP, 2022

To be or not to be an Integer? Encoding Variables for Mathematical Text.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

Hybrid Autoregressive Inference for Scalable Multi-Hop Explanation Regeneration.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Hybrid Autoregressive Solver for Scalable Abductive Natural Language Inference.

[BibT_eX]

[DOI]

CoRR, 2021

Supporting Context Monotonicity Abstractions in Neural NLI Models.

[BibT_eX]

[DOI]

CoRR, 2021

Encoding Explanatory Knowledge for Zero-shot Science Question Answering.

[BibT_eX]

[DOI]

CoRR, 2021

∂-Explainer: Abductive Natural Language Inference via Differentiable Convex Optimization.

[BibT_eX]

[DOI]

CoRR, 2021

Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold Standards.

[BibT_eX]

[DOI]

Ian Pratt-Hartmann

CoRR, 2021

Unification-based Reconstruction of Multi-hop Explanations for Science Questions.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume, 2021

Explainable Inference Over Grounding-Abstract Chains for Science Questions.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

Does My Representation Capture X? Probe-Ably.

[BibT_eX]

[DOI]

Proceedings of the Joint Conference of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

2020

ExplanationLP: Abductive Reasoning for Explainable Science Question Answering.

[BibT_eX]

[DOI]

CoRR, 2020

A Survey on Explainability in Machine Reading Comprehension.

[BibT_eX]

[DOI]