会员服务
Reasoning about concurrent loops and recursion with rely-guarantee rules
Arxiv
0+阅读 · 6月11日
A Deterministic Agentic Workflow for HS Tariff Classification: Multi-Dimensional Rule Reasoning with Interpretable Decisions
Arxiv
0+阅读 · 5月14日
RULER-Bench: Probing Rule-based Reasoning Abilities of Next-level Video Generation Models for Vision Foundation Intelligence
Arxiv
0+阅读 · 2025年12月2日
Neural Comprehension: Language Models with Compiled Neural Networks
Arxiv
0+阅读 · 2023年4月4日
参考链接
微信扫码咨询专知VIP会员
Top