Marco Valentino

Damien Teney

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]