Pith. sign in

REVIEW 12 cited by

Binding Language Models in Symbolic Languages

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2210.02875 v2 pith:KZ2IM3AQ submitted 2022-10-06 cs.CL

classification cs.CL
keywords bindercodexlanguagecallsin-contextonlyannotationsbinding
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Though end-to-end neural approaches have recently been dominating NLP tasks in both performance and ease-of-use, they lack interpretability and robustness. We propose Binder, a training-free neural-symbolic framework that maps the task input to a program, which (1) allows binding a unified API of language model (LM) functionalities to a programming language (e.g., SQL, Python) to extend its grammar coverage and thus tackle more diverse questions, (2) adopts an LM as both the program parser and the underlying model called by the API during execution, and (3) requires only a few in-context exemplar annotations. Specifically, we employ GPT-3 Codex as the LM. In the parsing stage, with only a few in-context exemplars, Codex is able to identify the part of the task input that cannot be answerable by the original programming language, correctly generate API calls to prompt Codex to solve the unanswerable part, and identify where to place the API calls while being compatible with the original grammar. In the execution stage, Codex can perform versatile functionalities (e.g., commonsense QA, information extraction) given proper prompts in the API calls. Binder achieves state-of-the-art results on WikiTableQuestions and TabFact datasets, with explicit output programs that benefit human debugging. Note that previous best systems are all finetuned on tens of thousands of task-specific samples, while Binder only uses dozens of annotations as in-context exemplars without any training. Our code is available at https://github.com/HKUNLP/Binder .

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 12 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Fact-Check Your Information (FYI): A Design Probe to Understand How People Actually Fact-Check Data-Driven Articles

    cs.HC 2026-08 conditional novelty 6.0 of 10

    In an exploratory study, fact-checkers using the FYI browser extension adopted AI-first, manual-first, and parallel workflows, using visualizations to audit AI verdicts.

  2. SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis

    cs.SE 2025-10 conditional novelty 6.0 of 10

    SemOpt generates Semgrep static-analysis rules from LLM-summarized optimization commits and uses them to locate and apply optimization strategies, outperforming retrieval-based baselines on C/C++ code.

  3. Table-r1: Self-supervised and Reinforcement Learning for Program-based Table Reasoning in Small Language Models

    cs.LG 2025-06 conditional novelty 6.0 of 10

    Table-r1 combines a layout-transformation self-supervised task and a mix-paradigm GRPO stage so 7B/8B models outperform other small-model table reasoners and approach GPT-4o-level accuracy.

  4. GeoGrid-Bench: Can Foundation Models Understand Multimodal Gridded Geo-Spatial Data?

    cs.CL 2025-05 conditional novelty 6.0 of 10

    GeoGrid-Bench evaluates 11 foundation models on 3,200 expert-curated questions about gridded climate data across 16 variables, finding vision-language models strongest and code generation weakest.

  5. Efficient Multi-Agent Collaboration with Tool Use for Online Planning in Complex Table Question Answering

    cs.CL 2024-12 conditional novelty 6.0 of 10

    MACT, a two-agent framework with tool use, reaches GPT-4-level exact-match scores on two of four table question answering benchmarks using open-weight LLMs without fine-tuning.

  6. NeSyCoCo: A Neuro-Symbolic Concept Composer for Compositional Generalization

    cs.CL 2024-12 conditional novelty 6.0 of 10

    NeSyCoCo improves compositional generalization in vision-language reasoning by combining LLM-generated programs, normalized differentiable predicate scores, and shared word-embedding-conditioned predicate functions.

  7. AutoDCWorkflow: LLM-based Data Cleaning Workflow Auto-Generation and Benchmark

    cs.DB 2024-12 conditional novelty 6.0 of 10

    AutoDCWorkflow uses an iterative LLM agent loop to generate purpose-driven OpenRefine cleaning workflows, and a new 142-purpose benchmark shows it outperforms direct prompting on the authors' synthetic dirty tables.

  8. SVA-ICL: Improving LLM-based Software Vulnerability Assessment via In-Context Learning and Information Fusion

    cs.SE 2025-05 conditional novelty 5.0 of 10

    An in-context learning approach that retrieves similar vulnerability examples by fusing code and description similarities improves LLM-based severity assessment over prior baselines.

  9. LLM-Symbolic Integration for Robust Temporal Tabular Reasoning

    cs.CL 2025-06 conditional novelty 4.0 of 10

    Schema-based SQL generation makes LLM temporal table QA more robust to counterfactual data and large tables than direct prompting, on a new synthetic benchmark.

  10. An Overview and Discussion on Using Large Language Models for Implementation Generation of Solutions to Open-Ended Problems

    cs.CL 2024-12 unverdicted novelty 3.0 of 10

    A survey and position paper that reviews LLM prompting, RAG, and RL techniques and argues they could support open-ended implementation generation, without presenting new results.

  11. Building Task Bots with Self-learning for Enhanced Adaptability, Extensibility, and Factuality

    cs.CL 2025-08 conditional novelty 2.0 of 10

    A thesis that combines self-learning from dialog logs, schema-guided prompting, and self-aligned factuality to build task bots with minimal human intervention.

  12. LLM Inference Enhanced by External Knowledge: A Survey

    cs.CL 2025-05 conditional novelty 2.0 of 10

    A survey of methods that enhance LLM inference by integrating external structured knowledge from tables and knowledge graphs.

Pith tools