AI 大模型

大模型推理能力

大模型数学、逻辑、规划、多步推理和测试时计算能力。

2025-08-12 至 2025-08-12 共收录 1 篇信号源：cs.CL, cs.AI, cs.LG

1. 代码与定理证明 1 篇

2508.08171 2025-08-12 cs.SE cs.AI 57%

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C

Pedro Orvalho, Marta Kwiatkowska

专题命中代码与定理证明：reasoning(abstract)；分类 cs.AI

Comments 14 pages, 6 tables, 1 figure

↑