Towards Verifiable Text Generation with Symbolic References
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 13 papers in the map (data through 7 Oct 2026). Builds on 26 of its 45 references that are in the map. First posted on arXiv 15 Nov 2023.
Builds on
26 of 45 references.
References · 26
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2019BERTScore: Evaluating Text Generation with BERTcited by 5,462
- 2023Toolformer: Language Models Can Teach Themselves to Use Toolscited by 4,072
- 2023ToolLLM: Facilitating Large Language Models to Master 16000+ Real-world APIscited by 1,880
- 2022Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Taskscited by 1,057
- 2018The Secret Sharer: Evaluating and Testing Unintended Memorization in Neural Networkscited by 847
- 2023Enabling Large Language Models to Generate Text with Citationscited by 584
- 2022Decomposed Prompting: A Modular Approach for Solving Complex Taskscited by 554
- 2023How Far Can Camels Go? Exploring the State of Instruction Tuning on Open Resourcescited by 405
- 2021PICARD: Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Modelscited by 402
- 2023Evaluating Verifiability in Generative Search Enginescited by 297
- 2020ToTTo: A Controlled Table-To-Text Generation Datasetcited by 267
14 more
- 2017Challenges in Data-to-Document Generationcited by 226
- 2023TaskMatrix.AI: Completing Tasks by Connecting Foundation Models with Millions of APIscited by 184
- 2021Constrained Language Models Yield Few-Shot Semantic Parserscited by 162
- 2022MRKL Systems: A modular, neuro-symbolic architecture that combines large language models, external knowledge sources and discrete reasoningcited by 153
- 2023Verify-and-Edit: A Knowledge-Enhanced Chain-of-Thought Frameworkcited by 139
- 2018Learning Neural Templates for Text Generationcited by 61
- 2020Revisiting Challenges in Data-to-Text Generation with Fact Groundingcited by 27
- 2021Sketch and Refine: Towards Faithful and Informative Table-to-Text Generationcited by 21
- 2020Variational Template Machine for Data-to-Text Generationcited by 19
- 2022Data-to-text Generation with Variational Sequential Planningcited by 17
- 2020Posterior Control of Blackbox Generationcited by 16
- 2023Natural Language Embedded Programs for Hybrid Language Symbolic Reasoningcited by 15
- 2022Innovations in Neural Data-to-text Generation: A Surveycited by 10
- 2022TempLM: Distilling Language Models into Template-Based Generatorscited by 4
Built on by
Citing papers per year: 2024: 2; 2025: 10; 2026: 1.
13 papers.
Sort:
By area:
- 2025Autoformalization in the Era of Large Language Models: A Surveycited by 19
- 2024Verifiable by Design: Aligning Language Models to Quote from Pre-Training Datacited by 13
- 2025Internal Causal Mechanisms Robustly Predict Language Model Out-of-Distribution Behaviorscited by 11
- 2024Citekit: A Modular Toolkit for Large Language Model Citation Generationcited by 5
- 2025Advancing AI-Scientist Understanding: Multi-Agent LLMs with Interpretable Physics Reasoningcited by 4
- 2025VerificAgent: Domain-Specific Memory Verification for Scalable Oversight of Aligned Computer-Use Agentscited by 3
- 2025Attribution Gradients: Incrementally Unfolding Citations for Critical Examination of Attributed AI Answerscited by 3
- 2025Multi-lingual Functional Evaluation for Large Language Modelscited by 1
- 2025ImageRef-VL: Enabling Contextual Image Referencing in Vision-Language Modelscited by 0
- 2025Issue Retrieval and Verification Enhanced Supplementary Code Comment Generationcited by 0
- 2025LCDS: A Logic-Controlled Discharge Summary Generation System Supporting Source Attribution and Expert Reviewcited by 0
- 2025Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verificationcited by 0
- 2026LAVA: Logic-Aware Validation and Augmentation Framework for Large-Scale Financial Document Auditing17 Aug 2026
- 2025Attribution Gradients: Incrementally Unfolding Citations for Critical Examination of Attributed AI Answers1 Oct 2025
- 2025Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification8 Sep 2025
- 2025LCDS: A Logic-Controlled Discharge Summary Generation System Supporting Source Attribution and Expert Review7 Jul 2025
- 2025Multi-lingual Functional Evaluation for Large Language Models25 Jun 2025
- 2025Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation17 Jun 2025
- 2025VerificAgent: Domain-Specific Memory Verification for Scalable Oversight of Aligned Computer-Use Agents3 Jun 2025
- 2025Autoformalization in the Era of Large Language Models: A Survey29 May 2025
- 2025Internal Causal Mechanisms Robustly Predict Language Model Out-of-Distribution Behaviors17 May 2025
- 2025Advancing AI-Scientist Understanding: Multi-Agent LLMs with Interpretable Physics Reasoning2 Apr 2025
- 2025ImageRef-VL: Enabling Contextual Image Referencing in Vision-Language Models20 Jan 2025
- 2024Citekit: A Modular Toolkit for Large Language Model Citation Generation6 Aug 2024
1 more
- 2025Autoformalization in the Era of Large Language Models: A Surveycited by 19
- 2025Internal Causal Mechanisms Robustly Predict Language Model Out-of-Distribution Behaviorscited by 11
- 2024Citekit: A Modular Toolkit for Large Language Model Citation Generationcited by 5
- 2025Attribution Gradients: Incrementally Unfolding Citations for Critical Examination of Attributed AI Answerscited by 3
- 2025Multi-lingual Functional Evaluation for Large Language Modelscited by 1
- 2025LCDS: A Logic-Controlled Discharge Summary Generation System Supporting Source Attribution and Expert Reviewcited by 0
- 2025Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verificationcited by 0
- 2026LAVA: Logic-Aware Validation and Augmentation Framework for Large-Scale Financial Document Auditingcited by 0
- 2026LAVA: Logic-Aware Validation and Augmentation Framework for Large-Scale Financial Document Auditing17 Aug 2026
- 2025Attribution Gradients: Incrementally Unfolding Citations for Critical Examination of Attributed AI Answers1 Oct 2025
- 2025Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification8 Sep 2025
- 2025LCDS: A Logic-Controlled Discharge Summary Generation System Supporting Source Attribution and Expert Review7 Jul 2025
- 2025Multi-lingual Functional Evaluation for Large Language Models25 Jun 2025
- 2025Autoformalization in the Era of Large Language Models: A Survey29 May 2025
- 2025Internal Causal Mechanisms Robustly Predict Language Model Out-of-Distribution Behaviors17 May 2025
- 2024Citekit: A Modular Toolkit for Large Language Model Citation Generation6 Aug 2024