会员服务
The Universal Language of Mathematics (Introduction to Binary Principle)
Arxiv
0+阅读 · 2月9日
Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
Arxiv
0+阅读 · 2月1日
Formula-One Prompting: Adaptive Reasoning Through Equations For Applied Mathematics
Arxiv
0+阅读 · 1月27日
A Natural Copula
Arxiv
0+阅读 · 2023年4月13日
参考链接
微信扫码咨询专知VIP会员
Top