lambda-calculus-LLM / lambda-RLM
Method for Long Context RLMs using verifiable Lambda Calculus
Why this job: matched by what the repo talks about: long, context, verifiable, method
What it does
- 29 / 36 wins over standard RLM across model-task comparisons
- Up to +21.9 average accuracy points across model tiers
- Up to 4.1× lower latency
Get started
conda create -n lambda-rlm python=3.11 -y
conda activate lambda-rlm
pip install -e .- Maintenance
- Inactive
- Last commit 6 months ago
- Stars
- 308
- On GitHub
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- None yet
- No releases
- Built with
- Python
- 100% of the code
Is it looked after?
- Contributors
- Not stated
- Last 90 days
- Issues
- None
- No issues filed
- Pull requests
- 0 merged
- 0 waiting
- Releases
- None
- Never published
- No contributing guide
- No security policy
- No code of conduct
More: languages, topics and project record
Languages
- Python 100%
Topics
- document-qa
- functional-programming
- lambda-calculus
- llm
- llm-inference
- long-context
- reasoning
- recursive-language-model
- recursive-language-models
Project record
- JobAgent memory
- StatusListed
- Commits27
- Forks18
- Watching2
- Stars in 28 days0
- CreatedMar 19, 2026
- First seen by usNov 7, 2026
- CheckedNov 8, 2026