会员服务
Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
Arxiv
0+阅读 · 2月17日
DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
Arxiv
0+阅读 · 2月11日
Non-Expansive Fuzzy Coalgebraic Logic
Arxiv
0+阅读 · 2月12日
ExpressivityBench: Can LLMs Communicate Implicitly?
Arxiv
0+阅读 · 2月6日
Never say never: Exploring the effects of available knowledge on agent persuasiveness in controlled physiotherapy motivation dialogues
Arxiv
0+阅读 · 2月13日
Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
Arxiv
0+阅读 · 2月5日
Mining Generalizable Activation Functions
Arxiv
0+阅读 · 2月5日
Readout-Side Bypass for Residual Hybrid Quantum-Classical Models
Arxiv
0+阅读 · 1月29日
Post-LayerNorm Is Back: Stable, ExpressivE, and Deep
Arxiv
0+阅读 · 1月27日
Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
Arxiv
0+阅读 · 1月28日
Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
Arxiv
0+阅读 · 1月18日
Nalar: An agent serving framework
Arxiv
0+阅读 · 1月8日
Reinforcement learning with timed constraints for robotics motion planning
Arxiv
0+阅读 · 2025年12月31日
Compiling Gradual Types with Evidence
Arxiv
0+阅读 · 2025年12月27日
Scalable Dendritic Modeling Advances Expressive and Robust Deep Spiking Neural Networks
Arxiv
0+阅读 · 2025年12月22日
参考链接
微信扫码咨询专知VIP会员
Top