会员服务
符号学广义上是研究符号传意的人文科学，当中涵盖所有涉文字符、讯号符、密码、古文明记号、 手语的科学。
Folding One Polyhedral Metric Graph into Another
Arxiv
0+阅读 · 12月19日
Using SimTeEx to simplify polynomial expressions with tensors
Arxiv
0+阅读 · 12月18日
Answer Set Networks: Casting Answer Set Programming into Deep Learning
Arxiv
0+阅读 · 12月19日
Invariants: Computation and Applications
Arxiv
0+阅读 · 12月17日
Algebraic Tools for Computing Polynomial Loop Invariants (Extended Version)
Arxiv
0+阅读 · 12月18日
ViSymRe: Vision-guided Multimodal Symbolic Regression
Arxiv
0+阅读 · 12月15日
Fast Symbolic Integer-Linear Spectra
Arxiv
0+阅读 · 12月12日
A Monadic Calculus with Episodic Flows
Arxiv
0+阅读 · 12月10日
The B2Scala Tool: Integrating Bach in Scala with Security in Mind
Arxiv
0+阅读 · 12月11日
Positivity Proofs for Linear Recurrences through Contracted Cones
Arxiv
0+阅读 · 12月11日
Symbolic Regression with a Learned Concept Library
Arxiv
0+阅读 · 12月10日
Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
Arxiv
0+阅读 · 12月7日
Hahn series and Mahler equations: Algorithmic aspects
Arxiv
0+阅读 · 12月6日
Summa Summarum: Moessner's Theorem without Dynamic Programming
Arxiv
0+阅读 · 12月4日
Asymptotics for the reciprocal and shifted quotient of the partition function
Arxiv
0+阅读 · 12月3日
参考链接
微信扫码咨询专知VIP会员
Top