开源项目

lambda-calculus-LLM 开源类型化递归分解实现 lambda-RLM

lambda-calculus-LLM/lambda-RLM

模型推理推理策略与问题分解

概述

lambda-calculus-LLM 组织创建 lambda-RLM 项目,仓库创建于2026年3月19日,以创建日为事件锚点。该项目将类型化递归分解方法形成可运行实现,可跨模型和任务复用,配套三月发表的论文。仓库提供 LambdaRLM 实现、安装、调用及基准命令。项目以 MIT 许可证开源。