Found 5 repositories(showing 5)
lambda-calculus-LLM
Method for Long Context RLMs using verifiable Lambda Calculus
hiteshjoshi
Recursive map-reduce runtime for LLMs
nktkt
λ-RLM: The Y-Combinator for LLMs — Typed functional runtime for long-context reasoning with pre-verified combinators grounded in λ-calculus
MATIASDEV2024
No description available
chankahei
minimalistic implementation of llm agent with lambda rlm
All 5 repositories loaded