lambda-calculus-LLM/lambda-RLM
使用可驗證 lambda 演算的方法來處理長上下文的 RLMs。
為何上榜
303★ · 近期活躍
商用授權
✓ 可商用MIT
可商用,通常只需保留著作權聲明/授權條款
Topics
document-qafunctional-programminglambda-calculusllmllm-inferencelong-contextreasoningrecursive-language-modelrecursive-language-models
廣告