会员服务
Evaluating the Robustness of Proof Autoformalization in Lean 4
Arxiv
0+阅读 · 6月12日
Progress in Formalizing Sphere Packing in Dimension 8
Arxiv
0+阅读 · 5月29日
Beyond Control-Flow: Integrating the Resource Perspective into Multi-Collaborative Process Modeling from Text
Arxiv
0+阅读 · 5月23日
HistMSO: A Logic for Reasoning about Consistency Models with MONA
Arxiv
0+阅读 · 4月3日
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8
Arxiv
0+阅读 · 4月28日
WaST: a formalisation of the Wave model with associated statistical inference and applications
Arxiv
0+阅读 · 4月12日
Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
Arxiv
0+阅读 · 4月6日
CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
Arxiv
0+阅读 · 4月10日
Package Managers à la Carte: A Formal Model of Dependency Resolution
Arxiv
0+阅读 · 2月20日
When Your Own Output Becomes Your Training Data: Noise-to-Meaning Loops and a Formal RSI Trigger
Arxiv
0+阅读 · 3月4日
Computational Complexity of Sufficiency in Decision Problems
Arxiv
0+阅读 · 1月31日
Policies for Fair Exchanges of Resources
Arxiv
0+阅读 · 1月30日
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
Arxiv
0+阅读 · 1月28日
Hagenberg Risk Management Process (Part 1): Multidimensional Polar Heatmaps for Context-Sensitive Risk Analysis
Arxiv
0+阅读 · 1月12日
Repeated Fair Allocation of Indivisible Items
Arxiv
0+阅读 · 2023年4月4日
参考链接
微信扫码咨询专知VIP会员
Top