MarkTechPost AI模型更新

LlamaIndex ‘legal-kb’: Agentic Retrieval over Index v2 with retrieve, find, read, and grep Tools

2026年7月5日 07:50

重點摘要

LlamaIndex has published legal-kb, a public reference application on GitHub. It is described as a knowledge base for legal documents, powered by LlamaIndex Index v2 (the LlamaParse Platform).

站內 AI 整理稿

LlamaIndex has published legal-kb, a public reference application on GitHub. It is described as a knowledge base for legal documents, powered by LlamaIndex Index v2 (the LlamaParse Platform). The project demonstrates a pattern the team calls a Retrieval Harness for agentic retrieval. The approach differs from single-shot retrieval. Instead of one embedding search per query, an agent is given filesystem-style tools. It can then crawl a large, evolving knowledge base to solve a task. The tools mirror operations engineers already know: semantic and keyword search, regex grep, file search, and read. legal-kb is a working TanStack Start web app, not a library. You sign in, create a project, upload files, and chat with an agent.

Related

相關文章

鈦媒體模型更新

Edge AI Daily 早報(7月5日)

Edge AI Daily 早報(7月5日)Edge AI Daily2026.07.05 08:39 · 來自北京全文4277字00:00 / 11:57Anthropic發佈Claude Fable 5編碼模型實現SWE-bench 95.0%突破,同時啟動內部藥物發現項目Claude Science,標誌AI公司從工具提供商向垂直領域深度滲透。

2 小時前

趁火打劫,GPT-5.6三大模型全曝,定檔7月7日?

GPT-5.6 的三個模型底層代碼提前曝光,傳出將於下週二(7 月 7 日)正式發布。外界推測 OpenAI 刻意選在競爭對手 Claude 的關鍵時間點發布,意圖以高額度策略截殺對手氣勢。目前官方尚未證實模型細節與具體功能,但 7 月 7 日的發布已被視為業界重大事件。

18 小時前
MarkTechPost AI模型更新

Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems

Mistral AI 正式釋出 Leanstral 1.5,這是一款專為 Lean 4 證明助手打造的程式碼代理模型,採用 Apache 2.0 開源授權。該模型使用混合專家架構,總參數 119B,每次激活 6.5B,支援 256K 上下文長度與多模態輸入。在基準測試中,Leanstral 1.5 在 miniF2F 上達到 100% 準確率,解決了 PutnamBench 672 題中的 587 題,並在 FATE-H、FATE-X 及 FLTEval 上創下新紀錄,以不到七分之一的成本超越 Opus 4.6。

1 天前