会员服务
Categorical Equivariant Deep Learning: Category-Equivariant Neural Networks and Universal Approximation Theorems
Arxiv
0+阅读 · 11月23日
NormCode: A Semi-Formal Language for Context-Isolated AI Planning
Arxiv
0+阅读 · 12月11日
Towards Formalizing Reinforcement Learning Theory
Arxiv
0+阅读 · 11月5日
Rational complex Bezier curves
Arxiv
0+阅读 · 11月26日
Rational complex Bezier curves
Arxiv
0+阅读 · 12月9日
Hypernetwork Theory: The Structural Kernel
Arxiv
0+阅读 · 11月30日
Operon: Incremental Construction of Ragged Data via Named Dimensions
Arxiv
0+阅读 · 11月20日
Towards A Catalogue of Requirement Patterns for Space Robotic Missions
Arxiv
0+阅读 · 11月18日
Core Safety Values for Provably Corrigible Agents
Arxiv
0+阅读 · 11月19日
Equivalence Checking of ML GPU Kernels
Arxiv
0+阅读 · 11月16日
Equivalence Checking of ML GPU Kernels
Arxiv
0+阅读 · 11月18日
Algorithmic Thinking Theory
Arxiv
0+阅读 · 12月4日
On Dynamic Programming Theory for Leader-Follower Stochastic Games
Arxiv
0+阅读 · 12月5日
Monadic Second-Order Logic of Permutations
Arxiv
0+阅读 · 11月4日
Hypergraphs as Metro Maps: Drawing Paths with Few Bends in Trees, Cacti, and Plane 4-Graphs
Arxiv
0+阅读 · 11月27日
参考链接
微信扫码咨询专知VIP会员
Top