标签
FrogNano 是一个4B编程代理，通过在线任务合成训练，在SWE-bench Verified上达到61.5%的成绩，使用简化的工具接口和自适应合成任务。
介绍了PrologMCP，这是一个开源服务器，通过模型上下文协议（MCP）将Prolog暴露为有状态工具，使LLM代理能够将推理委托给符号求解器。评估表明，在前沿推理LLM中，该工具在演绎推理任务上具有竞争力或更高的准确性。