会员服务
符号学广义上是研究符号传意的人文科学，当中涵盖所有涉文字符、讯号符、密码、古文明记号、 手语的科学。
Exact rational certificates and a Lean formalization of the eleven-variable Vasc inequality
Arxiv
0+阅读 · 10月9日
Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking
Arxiv
0+阅读 · 10月20日
PySymmetry: A Sage/Python Framework for the Symmetry Reduction of Linear G-Equivariant Systems
Arxiv
0+阅读 · 10月9日
A 55-Addition Rank-23 Scheme for $3\times3$ Matrix Multiplication via Exact Two-Sided Minimization
Arxiv
0+阅读 · 10月20日
An Infinite Family of Apéry-like Recurrences for Euler's Constant
Arxiv
0+阅读 · 10月9日
OptScientist: Automated Discovery of Optimization Laws
Arxiv
0+阅读 · 10月20日
Auditing Safety Preference Supervision with Recorded Derivations
Arxiv
0+阅读 · 10月19日
When Are Monomial Symmetric Polynomials Hard?
Arxiv
0+阅读 · 10月18日
Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
Arxiv
0+阅读 · 10月7日
Sparse Polynomial GCD Cannot Be Computed in Fixed-output Polynomial Time
Arxiv
0+阅读 · 10月16日
Faster Deterministic Integer Root Finding for Integer Polynomials
Arxiv
0+阅读 · 10月16日
Compiling Expert Procedures into Verified Programs: When a Small Model Is Enough
Arxiv
0+阅读 · 10月16日
Diverse Reasoning Paths Matter: Symbolic Equivalence Augmentation for Enhancing RL Exploration
Arxiv
0+阅读 · 10月15日
Compiling Expert Procedures into Verified Programs: When a Small Model Is Enough
Arxiv
0+阅读 · 10月13日
A Finite Certificate for the Positive $n=11$ Vasc Inequality
Arxiv
0+阅读 · 10月3日
参考链接
微信扫码咨询专知VIP会员
Top