DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
专题命中 测试时计算 :verifier(abstract)
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 测试时计算 :verifier(abstract)
机构 * Université Paris-Saclay, CEA, List(巴黎-萨克雷大学、法国原子能委员会、List)
专题命中 测试时计算 :reasoning(abstract)
专题命中 测试时计算 :reasoning(abstract)
专题命中 测试时计算 :reasoning(abstract)
专题命中 测试时计算 :reasoning(abstract)
Comments 17 pages, 9 figures
专题命中 测试时计算 :reasoning(abstract)
Comments A training-free test-time optimisation approach for long video understanding
专题命中 测试时计算 :chain-of-thought(abstract)
专题命中 测试时计算 :chain-of-thought(abstract)
Comments accepted by ISQED2025
专题命中 测试时计算 :reasoning(abstract)
Comments Accepted to NeurIPS 2024; Code:https://github.com/mrwu-mac/ControlMLLM
专题命中 测试时计算 :reasoning(abstract)
Comments 22 pages, 6 fgures
专题命中 测试时计算 :chain-of-thought(abstract)
专题命中 测试时计算 :reasoning(abstract)
专题命中 测试时计算 :reasoning(abstract)
Comments The paper is currently in the process of being prepared for submission to MIA
专题命中 测试时计算 :planning(abstract)
Comments Accepted for presentation at the 2023 IEEE International Symposium on Multi-Robot & Multi-Agent Systems
专题命中 测试时计算 :verifier(abstract)
专题命中 测试时计算 :verifier(abstract)
专题命中 测试时计算 :reasoning(abstract)
Comments Appears in Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (UAI2009)