arXiv · NLP· Mowafak Allaham, Aditya Vempaty, Ashish Jagmohan, Prasenjit Dey, Ravi Kokku·· 8 小时前AI 评分31
Eliciting Specifications：交互式澄清何时能提升 LLM 生成 Lean 规范的准确性
Eliciting Specifications: When Does Interactive Clarification Help?
AI 导读
研究发现 LLM 在生成 Lean 规范时引入交互式澄清智能体（EA）效果不一：同模型 Claude Sonnet 4.6 在 k=3 和 k=10 澄清预算下 strict pass@1 估计为负。
来源：arXiv · NLP · arxiv.org