1
Language Models as Higher-Order Planning Formalizers
新论文探索利用语言模型实现高阶规划形式化，揭示AI推理与决策的前沿突破。
arXiv:2603.23844v2 Announce Type: replace Abstract: Recent work provides overwhelming evidence that LLMs, even those trained to scale their reasoning …