lambda-calculus-LLM

lambda-RLM. Method for Long Context RLMs using verifiable Lambda Calculus