Enhancing Ethical Explanations of Large Language Models through
Iterative Symbolic Refinement

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement

1 February 2024

Marco Valentino

Louise A. Dennis

Papers citing "Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement"

12 / 12 papers shown

Title
PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement Xin Quan Marco Valentino Danilo S. Carvalho Dhairya Dalal André Freitas LRM 38 0 0 05 Apr 2025
Integrating Expert Knowledge into Logical Programs via LLMs Franciszek Górski Oskar Wysocki Marco Valentino André Freitas 119 0 0 17 Feb 2025
Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions Lan Zhang Marco Valentino André Freitas 44 0 0 17 Feb 2025
Eliciting Critical Reasoning in Retrieval-Augmented Language Models via Contrastive Explanations Leonardo Ranaldi Marco Valentino André Freitas RALM LRM 38 4 0 30 Oct 2024
Consistent Autoformalization for Constructing Mathematical Libraries Lan Zhang Xin Quan André Freitas AI4CE 35 2 0 05 Oct 2024
To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning Zayne Sprague Fangcong Yin Juan Diego Rodriguez Dongwei Jiang Manya Wadhwa Prasann Singhal Xinyu Zhao Xi Ye Kyle Mahowald Greg Durrett ReLM LRM 116 86 0 18 Sep 2024
Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis Joao Pedro Gandarela Danilo S. Carvalho André Freitas 31 1 0 15 Aug 2024
Inference to the Best Explanation in Large Language Models Dhairya Dalal Marco Valentino André Freitas Paul Buitelaar LRM ELM 46 3 0 16 Feb 2024
Natural Language Deduction with Incomplete Information Zayne Sprague Kaj Bostrom Swarat Chaudhuri Greg Durrett LRM 46 17 0 01 Nov 2022
Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations Jaehun Jung Lianhui Qin Sean Welleck Faeze Brahman Chandra Bhagavatula Ronan Le Bras Yejin Choi ReLM LRM 223 190 0 24 May 2022
Modeling Multi-hop Question Answering as Single Sequence Prediction Semih Yavuz Kazuma Hashimoto Yingbo Zhou N. Keskar Caiming Xiong 43 27 0 18 May 2022
Training language models to follow instructions with human feedback Long Ouyang Jeff Wu Xu Jiang Diogo Almeida Carroll L. Wainwright ... Amanda Askell Peter Welinder Paul Christiano Jan Leike Ryan J. Lowe OSLM ALM 313 11,953 0 04 Mar 2022