会员服务
Tacit Coordination of Large Language Models
Arxiv
0+阅读 · 6月16日
EngTrace: A Symbolic Benchmark for Verifiable Process Supervision of Engineering Reasoning
Arxiv
0+阅读 · 6月16日
Memory-Efficient Meta-Reinforcement Learning for Adaptive Safety-Critical Control in Adversarial Spacecraft Proximity Operations
Arxiv
0+阅读 · 6月16日
Virtual Sensing to Enable Real-Time Monitoring of Inaccessible Locations & Unmeasurable Parameters
Arxiv
0+阅读 · 6月14日
Human-Enhanced Loop Modeling (HELM): Agent-Based Finite Element Modeling of Concrete Bridge Barriers
Arxiv
0+阅读 · 6月14日
Overcoming the Regulatory Bottleneck via Agent-to-Agent Protocols: A Nuclear Case Study
Arxiv
0+阅读 · 6月5日
RTL-Arrow: Hardware-to-Cloud Bridge
Arxiv
0+阅读 · 6月11日
Market-Based Replanning for Safety-Critical UAV Swarms in Search and Rescue Missions
Arxiv
0+阅读 · 6月1日
SafeLLM: Extraction as a Hallucination-Resistant Alternative to Rewriting in Safety-Critical Settings
Arxiv
0+阅读 · 6月11日
SceneMiner: Identity-Preserving Multi-Task Fine-Tuning for Unified BEV Scene Mining
Arxiv
0+阅读 · 6月9日
EvoQRE: Modeling Bounded Rationality in Safety-Critical Traffic Simulation via Evolutionary Quantal Response Equilibrium
Arxiv
0+阅读 · 5月18日
Logics for Context-free Hyperproperties
Arxiv
0+阅读 · 5月6日
Constraining Host-Level Abuse in Self-Hosted Computer-Use Agents via TEE-Backed Isolation
Arxiv
0+阅读 · 5月7日
TorchLean: Formalizing Neural Networks in Lean
Arxiv
0+阅读 · 5月24日
Ensuring Data Freshness in Multi-Rate Task Chains Scheduling
Arxiv
0+阅读 · 6月9日
参考链接
微信扫码咨询专知VIP会员
Top