paper-with-me

Papers

Meta-Reasoning: Semantics-Symbol Deconstruction for Large Language Models

2023-06-30 · Yiming Wang, Zhuosheng Zhang, Pei Zhang, Baosong Yang, Rui Wang

Neural-symbolic methods have demonstrated efficiency in enhancing the reasoning abilities of large language models (LLMs). However, existing methods mainly rely on syntactically mapping natural languages to complete formal languages like Python and SQL. Those methods require that reasoning tasks be convertible into programs, which cater to the computer execution mindset and deviate from human reasoning habits. To broaden symbolic methods' applicability and adaptability in the real world, we propose the Meta-Reasoning from a linguistic perspective. This method empowers LLMs to deconstruct reasoning-independent semantic information into generic symbolic representations, thereby efficiently capturing more generalized reasoning knowledge. We conduct extensive experiments on more than ten datasets encompassing conventional reasoning tasks like arithmetic, symbolic, and logical reasoning, and the more complex interactive reasoning tasks like theory-of-mind reasoning. Experimental results demonstrate that Meta-Reasoning significantly enhances in-context reasoning accuracy, learning efficiency, out-of-domain generalization, and output stability compared to the Chain-of-Thought technique. Code and data are publicly available at \url{https://github.com/Alsace08/Meta-Reasoning}.

📄 PDF Abstract BibTeX arXiv:2306.17820

Code (1)

alsace08/meta-reasoning 공식 구현

Tasks

Domain GeneralizationIn-Context LearningLogical Reasoning

Methods 이 논문이 사용한 방법론

{Dispute@FaQ-s}How to file a dispute with Expedia? How to file a dispute with Expedia? To file a complaint against Expedia, first try contacting their customer service directly. You can reach them by phone at…
Multi-Head Attention 설명 없음
Attention 설명 없음
Cosine Annealing Cosine Annealing is a type of learning rate schedule that has the effect of starting with a large learning rate that is relatively rapidly decreased to a minimum value before…
15 Ways to Contact How can i speak to someone at Delta Airlines 설명 없음
BPE Byte Pair Encoding, or BPE, is a subword segmentation algorithm that encodes rare and unknown words as sequences of subword units. The intuition is that various word…
Linear Layer A Linear Layer is a projection $\mathbf{XW + b}$.
Attention Dropout Attention Dropout is a type of dropout used in attention-based architectures, where elements are randomly dropped out of the…

Similar Papers 제목 키워드 기반

Large Language Models are In-Context Semantic Reasoners rather than Symbolic Reasoners

2023-05-24 · Xiaojuan Tang, Zilong Zheng, Jiaqi Li, Fanxu Meng 외

The emergent few-shot reasoning capabilities of Large Language Models (LLMs) have excited the natural language and machine learning community over recent years. Despite of numerous successful applications, the underlying…

A Metamodel and Framework for Artificial General Intelligence From Theory to Practice

2021-02-11 · Hugo Latapie, Ozkan Kilic, Gaowen Liu, Yan Yan 외

This paper introduces a new metamodel-based knowledge representation that significantly improves autonomous learning and adaptation. While interest in hybrid machine learning / symbolic AI systems leveraging, for example…

BIG-bench Machine LearningFederated LearningHybrid Machine LearningKnowledge Graphs+3

Logical Consistency as a Bridge: Improving LLM Hallucination Detection via Label Constraint Modeling between Responses and Self-Judgments

2026-05-05 · Hao Mi, Qiang Sheng, Shaofei Wang, Beizhe Hu 외 arxiv

Large Language Models (LLMs) are prone to factual hallucinations, risking their reliability in real-world applications. Existing hallucination detectors mainly extract micro-level intrinsic patterns for uncertainty quant…

LLMs Lean on Priors, Not Programming Language Semantics

2025-10-03 · Aditya Thimmaiah, Jiyang Zhang, Jayanth Srinivasa, Junyi Jessy Li 외 arxiv

Recent work asks whether large language models (LLMs) condition their reasoning on explicit rules rather than statistical regularities from pretraining. Program execution provides a canonical instance: formal semantics d…

Towards meta-interpretive learning of programming language semantics

2019-07-20 · Sándor Bartha, James Cheney

We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations. In this short paper, we explored a simplified task in this domain using the Metago…

Inductive logic programming