会员服务
Minimalist Genetic Programming
Arxiv
0+阅读 · 6月13日
PO-PDDL: Learning Symbolic POMDPs from Visual Demonstrations for Robot Planning Under Uncertainty
Arxiv
0+阅读 · 6月14日
Context Compression Is Not One Thing: Readable Symbolic Re-expression vs. Coherent Summary at Matched Budget
Arxiv
0+阅读 · 6月12日
Exploiting Search in Symbolic Numeric Planning with Patterns
Arxiv
0+阅读 · 6月15日
Neuro-Symbolic Predictive Process Monitoring
Arxiv
0+阅读 · 5月29日
Symbolic Reasoning Frameworks Modulate LLM Risk Aversion in Multi-Agent Strategic Settings
Arxiv
0+阅读 · 5月22日
Music Transcription with (Almost) No Supervision
Arxiv
0+阅读 · 5月22日
Closing the Motion Execution Gap: From Semantic Motion Task Constraints to Kinematic Control
Arxiv
0+阅读 · 6月10日
LAWS: Learning from Actual Workloads Symbolically -- A Self-Certifying Parametrized Cache Architecture for Neural Inference, Robotics, and Edge Deployment
Arxiv
0+阅读 · 4月12日
SkillWrapper: Generative Predicate Invention for Task-level Robot Planning
Arxiv
0+阅读 · 6月5日
VL-Nav: A Neuro-Symbolic Approach for Reasoning-based Vision-Language Navigation
Arxiv
0+阅读 · 3月23日
CyberCane: Neuro-Symbolic RAG for Privacy-Preserving Phishing Detection with Formal Ontology Reasoning
Arxiv
0+阅读 · 4月26日
Symbolic Polyhedral-Based Energy Analysis for Nested Loop Programs
Arxiv
0+阅读 · 4月8日
Clover: A Neural-Symbolic Agentic Harness with Stochastic Tree-of-Thoughts for Verified RTL Repair
Arxiv
0+阅读 · 4月19日
SYMBOLIZER: Symbolic Model-free Task Planning with VLMs
Arxiv
0+阅读 · 4月20日
参考链接
微信扫码咨询专知VIP会员
Top