paper-with-me

홈 › Papers

Towards Verifiable Text Generation with Symbolic References

2023-11-15 · Lucas Torroba Hennigen, Shannon Shen, Aniruddha Nrusimha, Bernhard Gapp, David Sontag, Yoon Kim

LLMs are vulnerable to hallucinations, and thus their outputs generally require laborious human verification for high-stakes applications. To this end, we propose symbolically grounded generation (SymGen) as a simple approach for enabling easier manual validation of an LLM's output. SymGen prompts an LLM to interleave its regular output text with explicit symbolic references to fields present in some conditioning data (e.g., a table in JSON format). The references can be used to display the provenance of different spans of text in the generation, reducing the effort required for manual verification. Across a range of data-to-text and question-answering experiments, we find that LLMs are able to directly output text that makes use of accurate symbolic references while maintaining fluency and factuality. In a human study we further find that such annotations can streamline human verification of machine-generated text. Our code will be available at http://symgen.github.io.

📄 PDF Abstract BibTeX arXiv:2311.09188

Code (0)

등록된 구현이 없습니다.

Tasks

Question AnsweringText Generation

Similar Papers 제목 키워드 기반

Reasoning Core: A Scalable Procedural Data Generation Suite for Symbolic Pre-training and Post-Training

2026-03-02 · Valentin Lacombe, Valentin Quesnel, Damien Sileo arxiv

Training on verifiable symbolic data is a promising way to expand the reasoning frontier of language models beyond what standard pre-training corpora provide. Yet existing procedural generators often rely on fixed puzzle…

Reinforcement Learning

HyDRA: A Hybrid-Driven Reasoning Architecture for Verifiable Knowledge Graphs

2025-07-21 · Adrian Kaiser, Claudiu Leoveanu-Condrei, Ryan Gold, Marius-Constantin Dinu 외 arxiv

The synergy between symbolic knowledge, often represented by Knowledge Graphs (KGs), and the generative capabilities of neural networks is central to advancing neurosymbolic AI. A primary bottleneck in realizing this pot…

Knowledge Graphs

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation

2025-10-29 · Sina Bagheri Nezhad, Yao Li, Ameeta Agrawal arxiv

Large Language Models (LLMs) often struggle with complex mathematical reasoning, where prose-based generation leads to unverified and arithmetically unsound solutions. Current prompting strategies like Chain of Thought s…

Mathematical ReasoningLogical FallaciesCode Generation

SymbolLKG: Towards Verifiable Logical Reasoning via Logical Knowledge Graph and Symbolic Solvers

2026-08-27 · Haizhao Fan, Yuchi Xiong, Jize Wang, Xinping Guan 외 arxiv

Large Language Models (LLMs) have demonstrated remarkable proficiency in natural language understanding, yet they struggle with strict multi-step reasoning, frequently suffering from hallucinations and inconsistency. Exi…

Natural Language UnderstandingLogical Reasoning

Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge

2026-02-19 · Marcelo Labre arxiv

Language models exhibit fundamental limitations -- hallucination, brittleness, and lack of formal grounding -- that are particularly problematic in high-stakes specialist fields requiring verifiable reasoning. I investig…