由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

reasoning

话题找到数量

VectifyAI/PageIndex

Python

📄🧠 PageIndex：基于推理的RAG文档索引系统 （注：根据技术文档翻译规范，RAG保持英文缩写形式，因其在人工智能领域作为"Retrieval-Augmented Generation"的专有术语已被广泛接受；"Reasoning-based"采用"基于推理的"标准译法，准确体现技术特性；整体表述保持项目描述的专业性与简洁性）

agentic-ai agents ai
VectifyAI
VectifyAI 开发者
35k
3.2k
1.3k
+24
排名 #7
9月19日
查看详情

semantica-agi/semantica

Python

用于上下文和负责任的人工智能系统的图本机基础设施

agent-memory ai ai-governance
semantica-agi
semantica-agi 开发者
10k
1.2k
895
+1.9k
排名 #10
8月25日
查看详情

salesforce/BLIP

Jupyter Notebook

BLIP 模型的 PyTorch 实现：通过自举法实现语言-图像预训练，达成统一视觉-语言理解与生成

image-captioning image-text-retrieval vision-and-language-pre-training
salesforce
salesforce 开发者
5.7k
765
874
排名 #9
7月4日
查看详情

inclusionAI/AReaL

Python

专为大型语言模型推理与智能体打造的闪电式强化学习框架。

agent llm llm-agent
inclusionAI
inclusionAI 开发者
4.6k
378
1.1k
+969
排名 #9
3月8日
查看详情

ysymyth/ReAct

Jupyter Notebook

[ICLR 2023] ReAct：在语言模型中协同推理与行动

decision-making large-language-models llm
ysymyth
ysymyth 开发者
3.9k
382
781
+98
排名 #19
5月31日
查看详情

rasbt/reasoning-from-scratch

Jupyter Notebook

使用PyTorch从零开始逐步实现一个推理大语言模型

ai artificial-intelligence deep-learning
rasbt
rasbt 开发者
2.8k
398
1k
+16
排名 #11
2月3日
查看详情

AeneasVerif/aeneas

OCaml

面向 Rust 程序的验证工具链

compiler coq deductive-reasoning
AeneasVerif
AeneasVerif 开发者
968
107
937
+2
排名 #6
9月17日
查看详情
助手