SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Lee, Jinu, Hwang, Wonseok |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
LegalSearchLM: Rethinking Legal Case Retrieval as Legal Elements Generation
par: Kim, Chaeeun, et autres
Publié: (2025)
par: Kim, Chaeeun, et autres
Publié: (2025)
ReasoningFlow: Semantic Structure of Complex Reasoning Traces
par: Lee, Jinu, et autres
Publié: (2025)
par: Lee, Jinu, et autres
Publié: (2025)
Korean Canonical Legal Benchmark: Toward Knowledge-Independent Evaluation of LLMs' Legal Reasoning Capabilities
par: Oh, Hongseok, et autres
Publié: (2025)
par: Oh, Hongseok, et autres
Publié: (2025)
Evaluating Step-by-step Reasoning Traces: A Survey
par: Lee, Jinu, et autres
Publié: (2025)
par: Lee, Jinu, et autres
Publié: (2025)
Layer-wise Swapping for Generalizable Multilingual Safety
par: Shin, Hyunseo, et autres
Publié: (2026)
par: Shin, Hyunseo, et autres
Publié: (2026)
Causal Retrieval with Semantic Consideration
par: Shin, Hyunseo, et autres
Publié: (2025)
par: Shin, Hyunseo, et autres
Publié: (2025)
NL2GenSym: Natural Language to Generative Symbolic Rules for SOAR Cognitive Architecture via Large Language Models
par: Yuan, Fang, et autres
Publié: (2025)
par: Yuan, Fang, et autres
Publié: (2025)
Do Vision Encoders Truly Explain Object Hallucination?: Mitigating Object Hallucination via Simple Fine-Grained CLIPScore
par: Oh, Hongseok, et autres
Publié: (2025)
par: Oh, Hongseok, et autres
Publié: (2025)
Does Alignment Tuning Really Break LLMs' Internal Confidence?
par: Oh, Hongseok, et autres
Publié: (2024)
par: Oh, Hongseok, et autres
Publié: (2024)
Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning
par: Zhang, Tianhua, et autres
Publié: (2023)
par: Zhang, Tianhua, et autres
Publié: (2023)
Faithful Logical Reasoning via Symbolic Chain-of-Thought
par: Xu, Jundong, et autres
Publié: (2024)
par: Xu, Jundong, et autres
Publié: (2024)
From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation
par: Li, Qingchuan, et autres
Publié: (2025)
par: Li, Qingchuan, et autres
Publié: (2025)
NeuroSymActive: Differentiable Neural-Symbolic Reasoning with Active Exploration for Knowledge Graph Question Answering
par: Fu, Rong, et autres
Publié: (2026)
par: Fu, Rong, et autres
Publié: (2026)
NeuSym-RAG: Hybrid Neural Symbolic Retrieval with Multiview Structuring for PDF Question Answering
par: Cao, Ruisheng, et autres
Publié: (2025)
par: Cao, Ruisheng, et autres
Publié: (2025)
Consolidating and Developing Benchmarking Datasets for the Nepali Natural Language Understanding Tasks
par: Nyachhyon, Jinu, et autres
Publié: (2024)
par: Nyachhyon, Jinu, et autres
Publié: (2024)
HYBRIDMIND: Meta Selection of Natural Language and Symbolic Language for Enhanced LLM Reasoning
par: Han, Simeng, et autres
Publié: (2024)
par: Han, Simeng, et autres
Publié: (2024)
Entailment-Preserving First-order Logic Representations in Natural Language Entailment
par: Lee, Jinu, et autres
Publié: (2025)
par: Lee, Jinu, et autres
Publié: (2025)
SymLoc: Symbolic Localization of Hallucination across HaluEval and TruthfulQA
par: Lamba, Naveen, et autres
Publié: (2025)
par: Lamba, Naveen, et autres
Publié: (2025)
SymAgent: A Neural-Symbolic Self-Learning Agent Framework for Complex Reasoning over Knowledge Graphs
par: Liu, Ben, et autres
Publié: (2025)
par: Liu, Ben, et autres
Publié: (2025)
LRAGE: Legal Retrieval Augmented Generation Evaluation Tool
par: Park, Minhu, et autres
Publié: (2025)
par: Park, Minhu, et autres
Publié: (2025)
Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions
par: Ranaldi, Leonardo, et autres
Publié: (2025)
par: Ranaldi, Leonardo, et autres
Publié: (2025)
Keep it SymPL: Symbolic Projective Layout for Allocentric Spatial Reasoning in Vision-Language Models
par: Jang, Jaeyun, et autres
Publié: (2026)
par: Jang, Jaeyun, et autres
Publié: (2026)
AdaEDL: Early Draft Stopping for Speculative Decoding of Large Language Models via an Entropy-based Lower Bound on Token Acceptance Probability
par: Agrawal, Sudhanshu, et autres
Publié: (2024)
par: Agrawal, Sudhanshu, et autres
Publié: (2024)
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
par: Nezhad, Sina Bagheri, et autres
Publié: (2025)
par: Nezhad, Sina Bagheri, et autres
Publié: (2025)
SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query Routing
par: Hakim, Safayat Bin, et autres
Publié: (2025)
par: Hakim, Safayat Bin, et autres
Publié: (2025)
Graph Reasoning Paradigm: Structured and Symbolic Reasoning with Topology-Aware Reinforcement Learning for Large Language Models
par: Liu, Runxuan, et autres
Publié: (2026)
par: Liu, Runxuan, et autres
Publié: (2026)
Evaluating Legal Reasoning Traces with Legal Issue Tree Rubrics
par: Lee, Jinu, et autres
Publié: (2025)
par: Lee, Jinu, et autres
Publié: (2025)
SAAS: Solving Ability Amplification Strategy for Enhanced Mathematical Reasoning in Large Language Models
par: Kim, Hyeonwoo, et autres
Publié: (2024)
par: Kim, Hyeonwoo, et autres
Publié: (2024)
Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning
par: Nguyen, Phuong Minh, et autres
Publié: (2025)
par: Nguyen, Phuong Minh, et autres
Publié: (2025)
SymBrain: A Biomimetic Neuro-Symbolic Architecture for Small Language Models
par: Callens, Xavier
Publié: (2026)
par: Callens, Xavier
Publié: (2026)
Forward-Backward Reasoning in Large Language Models for Mathematical Verification
par: Jiang, Weisen, et autres
Publié: (2023)
par: Jiang, Weisen, et autres
Publié: (2023)
FinChain: A Symbolic Benchmark for Verifiable Chain-of-Thought Financial Reasoning
par: Xie, Zhuohan, et autres
Publié: (2025)
par: Xie, Zhuohan, et autres
Publié: (2025)
Developing a Pragmatic Benchmark for Assessing Korean Legal Language Understanding in Large Language Models
par: Kim, Yeeun, et autres
Publié: (2024)
par: Kim, Yeeun, et autres
Publié: (2024)
Beyond Symbolic Solving: Multi Chain-of-Thought Voting for Geometric Reasoning in Large Language Models
par: Siddique, Md. Abu Bakor, et autres
Publié: (2026)
par: Siddique, Md. Abu Bakor, et autres
Publié: (2026)
NESTLE: a No-Code Tool for Statistical Analysis of Legal Corpus
par: Cho, Kyoungyeon, et autres
Publié: (2023)
par: Cho, Kyoungyeon, et autres
Publié: (2023)
Taxation Perspectives from Large Language Models: A Case Study on Additional Tax Penalties
par: Choi, Eunkyung, et autres
Publié: (2025)
par: Choi, Eunkyung, et autres
Publié: (2025)
GeoReasoner: Reasoning On Geospatially Grounded Context For Natural Language Understanding
par: Yan, Yibo, et autres
Publié: (2024)
par: Yan, Yibo, et autres
Publié: (2024)
Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views
par: Fang, Feihao, et autres
Publié: (2026)
par: Fang, Feihao, et autres
Publié: (2026)
Meta-Reasoning: Semantics-Symbol Deconstruction for Large Language Models
par: Wang, Yiming, et autres
Publié: (2023)
par: Wang, Yiming, et autres
Publié: (2023)
BAR: A Backward Reasoning based Agent for Complex Minecraft Tasks
par: Du, Weihong, et autres
Publié: (2025)
par: Du, Weihong, et autres
Publié: (2025)
Documents similaires
-
LegalSearchLM: Rethinking Legal Case Retrieval as Legal Elements Generation
par: Kim, Chaeeun, et autres
Publié: (2025) -
ReasoningFlow: Semantic Structure of Complex Reasoning Traces
par: Lee, Jinu, et autres
Publié: (2025) -
Korean Canonical Legal Benchmark: Toward Knowledge-Independent Evaluation of LLMs' Legal Reasoning Capabilities
par: Oh, Hongseok, et autres
Publié: (2025) -
Evaluating Step-by-step Reasoning Traces: A Survey
par: Lee, Jinu, et autres
Publié: (2025) -
Layer-wise Swapping for Generalizable Multilingual Safety
par: Shin, Hyunseo, et autres
Publié: (2026)