会员服务
Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
Arxiv
0+阅读 · 3月16日
Weak Memory Model Formalisms: Introduction and Survey
Arxiv
0+阅读 · 3月13日
A Decision-Theoretic Formalisation of Steganography With Applications to LLM Monitoring
Arxiv
0+阅读 · 2月26日
Sketch-Oriented Databases
Arxiv
0+阅读 · 3月7日
Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
Arxiv
0+阅读 · 2月23日
On Reduction and Synthesis of Petri's Cycloids
Arxiv
0+阅读 · 3月12日
Capabilities Ain't All You Need: Measuring Propensities in AI
Arxiv
0+阅读 · 2月25日
Capabilities Ain't All You Need: Measuring Propensities in AI
Arxiv
0+阅读 · 2月20日
Expressive Power of Property Graph Constraint Languages
Arxiv
0+阅读 · 3月10日
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日
参考链接
微信扫码咨询专知VIP会员
Top