会员服务
MMFormalizer: Multimodal Autoformalization in the Wild
Arxiv
0+阅读 · 1月6日
From Intrinsic Toxicity to Reception-Based Toxicity: A Contextual Framework for Prediction and Evaluation
Arxiv
0+阅读 · 1月6日
μACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication
Arxiv
0+阅读 · 1月5日
Di- is for Directed: First-Order Directed Type Theory via Dinaturality
Arxiv
0+阅读 · 1月5日
Formalization of Harder-Narasimhan theory
Arxiv
0+阅读 · 1月4日
A formal query language and automata model for aggregation in complex event recognition
Arxiv
0+阅读 · 1月2日
Abductive Vibe Coding (Extended Abstract)
Arxiv
0+阅读 · 1月3日
KOS-TL (Knowledge Operation System Type Logic)
Arxiv
0+阅读 · 1月3日
Universal Conditional Logic: A Formal Language for Prompt Engineering
Arxiv
0+阅读 · 2025年12月31日
Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
Arxiv
0+阅读 · 1月4日
Grain-Aware Data Transformations: Type-Level Formal Verification at Zero Computational Cost
Arxiv
0+阅读 · 1月2日
μACP: A Formal Calculus for Expressive, Resource-Constrained Agent Communication
Arxiv
0+阅读 · 1月1日
NormCode: A Semi-Formal Language for Auditable AI Planning
Arxiv
0+阅读 · 1月2日
Improving Autoformalization Using Direct Dependency Retrieval
Arxiv
0+阅读 · 1月1日
Defensive M2S: Training Guardrail Models on Compressed Multi-turn Conversations
Arxiv
0+阅读 · 1月1日
参考链接
微信扫码咨询专知VIP会员
Top