会员服务
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
Arxiv
0+阅读 · 2月9日
Quantifying Edge Intelligence: Inference-Time Scaling Formalisms for Heterogeneous Computing
Arxiv
0+阅读 · 2月9日
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
Arxiv
0+阅读 · 2月10日
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
Arxiv
0+阅读 · 2月2日
CloudFix: Automated Policy Repair for Cloud Access Control Policies Using Large Language Models
Arxiv
0+阅读 · 1月29日
A Formal Approach to AMM Fee Mechanisms with Lean 4
Arxiv
0+阅读 · 1月24日
List types for resource aware languages: an implicit name approach
Arxiv
0+阅读 · 1月13日
A note on nested conditions for finite categories of subgraphs
Arxiv
0+阅读 · 1月26日
Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
Arxiv
0+阅读 · 1月16日
Uma Prova de Conceito para a Verificação Formal de Contratos Inteligentes
Arxiv
0+阅读 · 1月20日
SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
Arxiv
0+阅读 · 1月20日
The Replicator-Optimization Mechanism: A Scale-Relative Formalism for Persistence-Conditioned Dynamics with Application to Consent-Based Metaethics
Arxiv
0+阅读 · 1月10日
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
Arxiv
0+阅读 · 1月9日
Explainable Binary Classification of Separable Shape Ensembles
Arxiv
0+阅读 · 1月8日
Improving Autoformalization Using Direct Dependency Retrieval
Arxiv
0+阅读 · 2025年12月29日
参考链接
微信扫码咨询专知VIP会员
Top