热点
"逻辑编程" 相关文章
Are Language Models Efficient Reasoners? A Perspective from Logic Programming
cs.AI updates on arXiv.org 2025-10-30T04:20:45.000000Z
[程序员] AI Coding 其实也挺累的
V2EX 2025-10-18T08:58:40.000000Z
Improving ASP-based ORS Schedules through Machine Learning Predictions
cs.AI updates on arXiv.org 2025-07-23T04:03:08.000000Z
Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better
cs.AI updates on arXiv.org 2025-07-09T04:01:29.000000Z