实体 MolLean-MCP

MolLean-MCP

PulseAugur coverage of MolLean-MCP — every cluster mentioning MolLean-MCP across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_317676 · Oct 14 · 00:00

MolLean 推出可验证的化学推理框架

研究人员开发了 MolLean，这是一种旨在提高 AI 模型中化学推理的准确性和可验证性的新型语言。该框架将推理建立在明确的分子状态之上，并利用基于 Lean 的内核来检查状态转换和断言。MolLean 旨在通过提供交互式工具反馈来减少分子生成和反应预测等任务中的幻觉，使模型能够获得指导并修改操作。