AlphaUncommon
lambda-calculus-LLM/lambda-RLM
Method for Long Context RLMs using verifiable Lambda Calculus
- Owner
- lambda-calculus-LLM (personal account)
- Stars
- Stars: 308
- Forks
- Forks: 19
- Language
- Python
- License
- MIT
- Created
- 2026
- Topics
- document-qafunctional-programminglambda-calculusllmllm-inferencelong-contextreasoningrecursive-language-modelrecursive-language-models
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Python
All Python repos- laok775/jobflow-for-codexStars: 308PythonAlpha
- simple-agent-lab/RSIHubStars: 308PythonAlpha
- typesafe-ai/typesafe-sdk-pythonStars: 308PythonAlpha
- amyreese/markdown-ppStars: 308PythonAlpha
- dexy/dexyStars: 308PythonAlpha
- gmusicproxy/gmusicproxyStars: 308PythonAlpha