Imagen de Portada

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Quan, Xin, Valentino, Marco, Dennis, Louise A., Freitas, André
Formato:	Preprint
Publicado:	2024
Materias:	Computation and Language
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
por: Quan, Xin, et al.
Publicado: (2024)

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
por: Quan, Xin, et al.
Publicado: (2025)

Decompose-and-Formalise: Recursively Verifiable Natural Language Inference
por: Quan, Xin, et al.
Publicado: (2026)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
por: Quan, Xin, et al.
Publicado: (2025)

Reasoning with Natural Language Explanations
por: Valentino, Marco, et al.
Publicado: (2024)

Inference to the Best Explanation in Large Language Models
por: Dalal, Dhairya, et al.
Publicado: (2024)

Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations
por: Ranaldi, Leonardo, et al.
Publicado: (2024)

Inferring Latent Intentions: Attributional Natural Language Inference in LLM Agents
por: Quan, Xin, et al.
Publicado: (2026)

Monotonic Reference-Free Refinement for Autoformalization
por: Zhang, Lan, et al.
Publicado: (2026)

Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions
por: Ranaldi, Leonardo, et al.
Publicado: (2025)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
por: Meadows, Jordan, et al.
Publicado: (2023)

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference
por: Thayaparan, Mokanarangan, et al.
Publicado: (2024)

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
por: Xu, Lei, et al.
Publicado: (2025)

A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
por: Meadows, Jordan, et al.
Publicado: (2023)

SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning
por: Wysocka, Magdalena, et al.
Publicado: (2024)

Reasoning Circuits in Language Models: A Mechanistic Interpretation of Syllogistic Inference
por: Kim, Geonhee, et al.
Publicado: (2024)

Estimating the Causal Effects of Natural Logic Features in Neural NLI Models
por: Rozanova, Julia, et al.
Publicado: (2023)

Mitigating Content Effects on Reasoning in Language Models through Fine-Grained Activation Steering
por: Valentino, Marco, et al.
Publicado: (2025)

Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models
por: Rozanova, Julia, et al.
Publicado: (2024)

Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions
por: Valentino, Marco, et al.
Publicado: (2023)

Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision
por: Tan, Xingwei, et al.
Publicado: (2025)

SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials
por: Jullien, Mael, et al.
Publicado: (2024)

Dissecting Clinical Reasoning in Language Models: A Comparative Study of Prompts and Model Adaptation Strategies
por: Jullien, Mael, et al.
Publicado: (2025)

Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study
por: Zhang, Yingji, et al.
Publicado: (2025)

Is Inference Mediated by Distinct Semantic Structures in LLMs? A Mechanistic Interpretation
por: Aljaafari, Nura, et al.
Publicado: (2026)

Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning
por: Zhang, Lan, et al.
Publicado: (2025)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
por: Zhang, Lan, et al.
Publicado: (2025)

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
por: Zhang, Lan, et al.
Publicado: (2025)

Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models
por: Ranaldi, Leonardo, et al.
Publicado: (2024)

Iterative Translation Refinement with Large Language Models
por: Chen, Pinzhen, et al.
Publicado: (2023)

RefineCoder: Iterative Improving of Large Language Models via Adaptive Critique Refinement for Code Generation
por: Zhou, Changzhi, et al.
Publicado: (2025)

Enhancing the Capability and Robustness of Large Language Models through Reinforcement Learning-Driven Query Refinement
por: Wang, Xiaohua, et al.
Publicado: (2024)

Consistent Autoformalization for Constructing Mathematical Libraries
por: Zhang, Lan, et al.
Publicado: (2024)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
por: Farjami, Ali, et al.
Publicado: (2026)

Iterative Prompt Refinement for Radiation Oncology Symptom Extraction Using Teacher-Student Large Language Models
por: Khanmohammadi, Reza, et al.
Publicado: (2024)

Large Language Model-Enhanced Symbolic Reasoning for Knowledge Base Completion
por: He, Qiyuan, et al.
Publicado: (2025)

Exploring Iterative Enhancement for Improving Learnersourced Multiple-Choice Question Explanations with Large Language Models
por: Bao, Qiming, et al.
Publicado: (2023)

Integrating Expert Knowledge into Logical Programs via LLMs
por: Górski, Franciszek, et al.
Publicado: (2025)

Self-Critique and Refinement for Faithful Natural Language Explanations
por: Wang, Yingming, et al.
Publicado: (2025)

COrAL: Order-Agnostic Language Modeling for Efficient Iterative Refinement
por: Xie, Yuxi, et al.
Publicado: (2024)