:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rozanova, Julia, Valentino, Marco, Freitas, André
Format:	Preprint
Publié:	2024
Sujets:	Computation and Language
Accès en ligne:	https://arxiv.org/abs/2404.02622
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Estimating the Causal Effects of Natural Logic Features in Neural NLI Models
par: Rozanova, Julia, et autres
Publié: (2023)

SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
par: Wysocka, Magdalena, et autres
Publié: (2024)

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
par: Quan, Xin, et autres
Publié: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
par: Farjami, Ali, et autres
Publié: (2026)

Reasoning with Natural Language Explanations
par: Valentino, Marco, et autres
Publié: (2024)

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference
par: Thayaparan, Mokanarangan, et autres
Publié: (2024)

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
par: Xu, Lei, et autres
Publié: (2025)

Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions
par: Valentino, Marco, et autres
Publié: (2023)

SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
par: Jullien, Mael, et autres
Publié: (2024)

Integrating Expert Knowledge into Logical Programs via LLMs
par: Górski, Franciszek, et autres
Publié: (2025)

Inferring Latent Intentions: Attributional Natural Language Inference in LLM Agents
par: Quan, Xin, et autres
Publié: (2026)

Decompose-and-Formalise: Recursively Verifiable Natural Language Inference
par: Quan, Xin, et autres
Publié: (2026)

Montague semantics and modifier consistency measurement in neural language models
par: Carvalho, Danilo S., et autres
Publié: (2022)

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
par: Quan, Xin, et autres
Publié: (2024)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
par: Meadows, Jordan, et autres
Publié: (2023)

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
par: Ranaldi, Leonardo, et autres
Publié: (2024)

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
par: Meadows, Jordan, et autres
Publié: (2023)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
par: Zhang, Lan, et autres
Publié: (2025)

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
par: Zhang, Lan, et autres
Publié: (2025)

Monotonic Reference-Free Refinement for Autoformalization
par: Zhang, Lan, et autres
Publié: (2026)

Is Inference Mediated by Distinct Semantic Structures in LLMs? A Mechanistic Interpretation
par: Aljaafari, Nura, et autres
Publié: (2026)

Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning
par: Zhang, Lan, et autres
Publié: (2025)

Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions
par: Ranaldi, Leonardo, et autres
Publié: (2025)

Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference
par: Kim, Geonhee, et autres
Publié: (2024)

Mitigating Content Effects on Reasoning in Language Models through Fine-Grained Activation Steering
par: Valentino, Marco, et autres
Publié: (2025)

Dissecting Clinical Reasoning in Language Models: A Comparative Study of Prompts and Model Adaptation Strategies
par: Jullien, Mael, et autres
Publié: (2025)

Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders
par: Zhang, Yingji, et autres
Publié: (2024)

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement
par: Quan, Xin, et autres
Publié: (2024)

Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
par: Zhang, Yingji, et autres
Publié: (2025)

Inference to the Best Explanation in Large Language Models
par: Dalal, Dhairya, et autres
Publié: (2024)

Compartmentalised Agentic Reasoning for Clinical NLI
par: Jullien, Maël, et autres
Publié: (2025)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
par: Quan, Xin, et autres
Publié: (2025)

Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision
par: Tan, Xingwei, et autres
Publié: (2025)

MSciNLI: A Diverse Benchmark for Scientific Natural Language Inference
par: Sadat, Mobashir, et autres
Publié: (2024)

Rethinking STS and NLI in Large Language Models
par: Wang, Yuxia, et autres
Publié: (2023)

Reverse-engineering NLI: A study of the meta-inferential properties of Natural Language Inference
par: Blanck, Rasmus, et autres
Publié: (2026)

ViLegalNLI: Natural Language Inference for Vietnamese Legal Texts
par: Duong, Nhung Thi-Hong, et autres
Publié: (2026)

EconNLI: Evaluating Large Language Models on Economics Reasoning
par: Guo, Yue, et autres
Publié: (2024)

EVADE: LLM-Based Explanation Generation and Validation for Error Detection in NLI
par: Zuo, Longfei, et autres
Publié: (2025)

MorphNLI: A Stepwise Approach to Natural Language Inference Using Text Morphing
par: Negru, Vlad Andrei, et autres
Publié: (2025)