会员服务
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日
AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
Arxiv
0+阅读 · 2月1日
SymbXRL: Symbolic Explainable Deep Reinforcement Learning for Mobile Networks
Arxiv
0+阅读 · 1月29日
Multi-Property Synthesis
Arxiv
0+阅读 · 1月15日
Beyond Symbols: Motion Perception Cues Enhance Dual-Task Performance with Wearable Directional Guidance
Arxiv
0+阅读 · 1月25日
Decompose-and-Formalise: Recursively Verifiable Natural Language Inference
Arxiv
0+阅读 · 1月27日
参考链接
微信扫码咨询专知VIP会员
Top