会员服务
符号学广义上是研究符号传意的人文科学，当中涵盖所有涉文字符、讯号符、密码、古文明记号、 手语的科学。
Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy
Arxiv
0+阅读 · 12月18日
Mechanisms of Symbol Processing for In-Context Learning in Transformer Networks
Arxiv
0+阅读 · 12月2日
Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
Arxiv
0+阅读 · 12月18日
Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
Arxiv
0+阅读 · 12月10日
Mechanizing Operads with Event-B
Arxiv
0+阅读 · 12月18日
A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications
Arxiv
0+阅读 · 11月26日
VeriFlow: Modeling Distributions for Neural Network Verification
Arxiv
0+阅读 · 11月19日
Fast Matrix Multiplication via Ternary Meta Flip Graphs
Arxiv
0+阅读 · 11月25日
Fast Matrix Multiplication via Ternary Meta Flip Graphs
Arxiv
0+阅读 · 11月29日
Modular composition & polynomial GCD in the border of small, shallow circuits
Arxiv
0+阅读 · 11月7日
Specializing anti-unification for interaction models composition via gate connections
Arxiv
0+阅读 · 12月8日
Terracini matroids: algebraic matroids of secants and embedded joins
Arxiv
0+阅读 · 11月5日
Decomposition and Preprocessing of Ternary Constraint Networks
Arxiv
0+阅读 · 11月14日
Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit Varieties
Arxiv
0+阅读 · 12月4日
AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
Arxiv
0+阅读 · 11月24日
参考链接
微信扫码咨询专知VIP会员
Top