会员服务
When Agda met Vampire
Arxiv
0+阅读 · 2月21日
Never say never: Exploring the effects of available knowledge on agent persuasiveness in controlled physiotherapy motivation dialogues
Arxiv
0+阅读 · 2月20日
Graphing Inline: Understanding Word-scale Graphics Use in Scientific Papers
Arxiv
0+阅读 · 3月11日
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日
参考链接
微信扫码咨询专知VIP会员
Top