L
lambda-RLM
lambda-calculus-LLM/lambda-RLM
Method for Long Context RLMs using verifiable Lambda Calculus
★305stars
Python
MIT
Updated: 1w ago
📋 Project at a Glance
Tap to expand
What's this?A , built with Python open-source project in the Models category, core strengths: document-qa/functional-programming
Who made it?Maintained by lambda-calculus-LLM team, 305⭐ on GitHub, #2115 out of 3201 in Models
Why does it exist?In the Models space, document-qa workflows faced efficiency bottlenecks. lambda-RLM was built by lambda-calculus-LLM to address these functional-programming challenges.
What can it do?Key use cases: lambda-calculus, llm, llm-inference
How to install with AI?Use an AI coding assistant (Claude Code, Cursor, Copilot) to automatically set up pip dependencies and virtual env. Follow the README — the AI handles the rest.
🔗 github.com/lambda-calculus-LLM/lambda-RLM
🔗 github.com/lambda-calculus-LLM/lambda-RLM
Topics
document-qafunctional-programminglambda-calculusllmllm-inferencelong-contextreasoningrecursive-language-modelrecursive-language-models