会员服务
The downgrading semantics of memory safety (Extended version)
Arxiv
0+阅读 · 4月17日
FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning
Arxiv
0+阅读 · 4月13日
Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
Arxiv
0+阅读 · 4月24日
Analysis of Multitasking Pareto Optimization for Monotone Submodular Problems
Arxiv
0+阅读 · 4月16日
Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer
Arxiv
0+阅读 · 3月20日
CellE: Automated Standard Cell Library Extension via Equality Saturation
Arxiv
0+阅读 · 3月27日
Automatic Code and Test Generation of Smart Contracts from Coordination Models
Arxiv
0+阅读 · 4月22日
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日
参考链接
微信扫码咨询专知VIP会员
Top