xlang-ai/Binder
[ICLR 2023] Code for the paper "Binding Language Models in Symbolic Languages"
This tool helps AI researchers and developers make large language models (LLMs) more reliable and precise for tasks that require logical reasoning or access to external knowledge. You provide the LLM with a task and some basic programming instructions, and it generates correct, verifiable answers by 'binding' the LLM to execute code or use external tools. This is ideal for those working on improving LLM performance on complex, fact-based queries.
325 stars. No commits in the last 6 months.
Use this if you need to guide a large language model to produce accurate, verifiable outputs for tasks that benefit from symbolic reasoning or external tool use, using only a few programming examples.
Not ideal if you are looking for a plug-and-play solution for general text generation or if you don't have experience with programming concepts to guide the LLM.
Stars
325
Forks
38
Language
Python
License
Apache-2.0
Category
Last pushed
Aug 25, 2023
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/transformers/xlang-ai/Binder"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
ExtensityAI/symbolicai
A neurosymbolic perspective on LLMs
TIGER-AI-Lab/MMLU-Pro
The code and data for "MMLU-Pro: A More Robust and Challenging Multi-Task Language Understanding...
deep-symbolic-mathematics/LLM-SR
[ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation...
microsoft/interwhen
A framework for verifiable reasoning with language models.
zhudotexe/fanoutqa
Companion code for FanOutQA: Multi-Hop, Multi-Document Question Answering for Large Language...