会员服务
PAuth - Precise Task-Scoped Authorization For Agents
PAuth - Precise Task-Scoped Authorization For Agents
Arxiv
0+阅读 · 3月17日
Trust via Reputation of Conviction
Arxiv
0+阅读 · 3月9日
Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance
Arxiv
0+阅读 · 3月10日
Unified Learning of Temporal Task Structure and Action Timing for Bimanual Robot Manipulation
Arxiv
0+阅读 · 3月6日
Boosting deep Reinforcement Learning using pretraining with Logical Options
Arxiv
0+阅读 · 3月6日
SkillWrapper: Generative Predicate Invention for Task-level Planning
Arxiv
0+阅读 · 2月18日
VedicTHG: Symbolic Vedic Computation for Low-Resource Talking-Head Generation in Educational Avatars
Arxiv
0+阅读 · 2月9日
LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models
Arxiv
0+阅读 · 2月6日
The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
Arxiv
0+阅读 · 2月11日
WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
Arxiv
0+阅读 · 2月12日
SkillWrapper: Generative Predicate Invention for Task-level Planning
Arxiv
0+阅读 · 2月14日
SynPAT: A System for Generating Synthetic Physical Theories with Data
Arxiv
0+阅读 · 2月4日
LLM-ABBA: Understanding time series via symbolic approximation
Arxiv
0+阅读 · 2月4日
Models Know Models Best: Evaluation via Model-Preferred Formats
Arxiv
0+阅读 · 1月30日
Self-CriTeach: LLM Self-Teaching and Self-Critiquing for Improving Robotic Planning via Automated Domain Generation
Arxiv
0+阅读 · 2月3日
参考链接
微信扫码咨询专知VIP会员
Top