会员服务
Explainable Binary Classification of Separable Shape Ensembles
Arxiv
0+阅读 · 1月8日
Improving Autoformalization Using Direct Dependency Retrieval
Arxiv
0+阅读 · 2025年12月29日
Quantum Abduction: A New Paradigm for Reasoning under Uncertainty
Arxiv
0+阅读 · 2025年12月21日
The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups
Arxiv
0+阅读 · 2025年12月23日
Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding
Arxiv
0+阅读 · 2025年11月8日
Graph Contextual Reinforcement Learning for Efficient Directed Controller Synthesis
Arxiv
0+阅读 · 2025年12月17日
Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
Arxiv
0+阅读 · 2025年11月24日
Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
Arxiv
0+阅读 · 2025年11月10日
What Petri Net Obliges Us to Say: Comparing Approaches for Behavior Composition
Arxiv
0+阅读 · 2023年4月19日
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch
Arxiv
0+阅读 · 2023年4月18日
Reduce, Reuse, Recycle: Selective Reincarnation in Multi-Agent Reinforcement Learning
Arxiv
0+阅读 · 2023年3月31日
参考链接
微信扫码咨询专知VIP会员
Top