会员服务
符号学广义上是研究符号传意的人文科学，当中涵盖所有涉文字符、讯号符、密码、古文明记号、 手语的科学。
Logistic-Gated Operators Enable Auditable Unit-Aware Thresholds in Symbolic Regression
Arxiv
0+阅读 · 10月5日
Analog and Symbolic Computation through the Koopman Framework
Arxiv
0+阅读 · 10月7日
A note on a paper by Hashemi and Kapur
Arxiv
0+阅读 · 8月18日
Comprehensive Restriction Algorithm for Hypergeometric Systems
Arxiv
0+阅读 · 9月5日
Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
Arxiv
0+阅读 · 10月6日
The Syntax and Semantics of einsum
Arxiv
0+阅读 · 10月6日
An Exact Algorithm for Computing the Structure of Jordan Blocks
Arxiv
0+阅读 · 10月3日
Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
Arxiv
0+阅读 · 10月3日
Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
Arxiv
0+阅读 · 10月2日
A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
Arxiv
0+阅读 · 10月3日
An Effective Version of the $p$-Curvature Conjecture for Order One Differential Equations
Arxiv
0+阅读 · 10月1日
A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
Arxiv
0+阅读 · 10月2日
Symmetric Division of Linear Ordinary Differential Operators
Arxiv
0+阅读 · 10月1日
On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
Arxiv
0+阅读 · 9月30日
R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
Arxiv
0+阅读 · 9月29日
参考链接
微信扫码咨询专知VIP会员
Top