arXiv · cs.DB· Kaiwen Zheng, Srijan Srivastava, Zheng Yan, Xinpeng Zhao, Shaohua Li, Chieh-Jan Mike Liang, Tianyu Chen, Haoxian Chen, Eric Lo·· 5 小时前AI 评分42
从 token 账单到基准测试周：让数据系统自动研究可验证且低成本
From Token Bills to Benchmark Weeks: Making Auto-Research for Data Systems Verifiable and Affordable
AI 导读
针对 AI 自动研究数据系统时易出现规格博弈、token 成本高且验证周期长达数周的问题，论文提出以精确可组合的规格约束搜索、用轻量性能评估器剪枝、并以证伪与演绎验证把正确性纳入流程。目标是把正确性、性能、研究时间与 token 成本视为同等重要的目标，使 AI 生成的数据系统成为可审计、可信赖的生产级系统。
来源：arXiv · cs.DB · arxiv.org