会员服务
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
Arxiv
0+阅读 · 6月16日
Generative AI in developing User Experience Research Point of View: A NotebookLM case study
Arxiv
0+阅读 · 5月29日
Pseudo-Formalization for Automatic Proof Verification
Arxiv
0+阅读 · 5月19日
Parametric Modular Answer Set Programs Made Declarative
Arxiv
0+阅读 · 5月21日
Loop Composition in Quantum Algorithms
Arxiv
0+阅读 · 5月8日
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日
参考链接
微信扫码咨询专知VIP会员
Top