会员服务
Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
Arxiv
0+阅读 · 3月17日
Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
Arxiv
0+阅读 · 3月18日
LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models
Arxiv
0+阅读 · 3月17日
Toward Better Temporal Structures for Geopolitical Events Forecasting
Arxiv
0+阅读 · 3月17日
Types, equations, dimensions and the Pi theorem
Arxiv
0+阅读 · 3月17日
Capability-Guided Compression: Toward Interpretability-Aware Budget Allocation for Large Language Models
Capability-Guided Compression: Toward Interpretability-Aware Budget Allocation for Large Language Models
Arxiv
0+阅读 · 3月17日
Lipschitz-Based Robustness Certification Under Floating-Point Execution
Arxiv
0+阅读 · 3月17日
Don't exhaust, don't waste
Arxiv
0+阅读 · 3月16日
Computational Concept of the Psyche
Computational Concept of the Psyche
Arxiv
0+阅读 · 3月16日
Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
Arxiv
0+阅读 · 3月16日
Asymptotically good bosonic Fock state codes: Exact and approximate
Arxiv
0+阅读 · 3月16日
LPO: Discovering Missed Peephole Optimizations with Large Language Models
Arxiv
0+阅读 · 3月16日
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
Arxiv
0+阅读 · 3月15日
The Institutional Scaling Law: Non-Monotonic Fitness, Capability-Trust Divergence, and Symbiogenetic Scaling in Generative AI
Arxiv
0+阅读 · 3月14日
REAEDP: Entropy-Calibrated Differentially Private Data Release with Formal Guarantees and Attack-Based Evaluation
Arxiv
0+阅读 · 3月14日
参考链接
微信扫码咨询专知VIP会员
Top