会员服务
Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
Arxiv
0+阅读 · 10月22日
Coherent differentiation with a monoid of degrees: derivatives, Taylor expansion, finite differences...
Arxiv
0+阅读 · 10月21日
Synthetic Differential Geometry in Lean
Arxiv
0+阅读 · 10月19日
Statistical Taylor Expansion: A New and Path-Independent Method for Uncertainty Analysis
Arxiv
0+阅读 · 10月19日
Taylor-Approximation-Based Repair of High Floating-Point Errors
Arxiv
0+阅读 · 10月10日
Geometric Function Atlas: certified computing for geometric function theory in Python
Arxiv
0+阅读 · 9月7日
Nonlinear path-following via the asymptotic numerical method on a quantum processor
Arxiv
0+阅读 · 9月7日
TR-PTQ: High-Accuracy Integer-Only Transformer Post Training Quantization via Taylor Region Reformulation
Arxiv
0+阅读 · 10月7日
Interpreting the predictions of neural network classification based on a Taylor Coefficient Analysis (TCA)
Arxiv
0+阅读 · 9月11日
Taylor Diagram and Wasserstein Distance for Model Evaluation
Arxiv
0+阅读 · 9月16日
Approximation theory for distant Bang calculus
Arxiv
0+阅读 · 6月30日
TaylorPODA: A Taylor Expansion-Based Method to Improve Post-Hoc Attributions for Opaque Models
Arxiv
0+阅读 · 7月28日
Statistical Taylor Expansion: A New and Path-Independent Method for Uncertainty Analysis
Arxiv
0+阅读 · 6月22日
Parameterized Representations via Implicit Stochastic Modulation for High-Dimensional and High-Order Neural PDE Solvers
Arxiv
0+阅读 · 6月20日
Taylor-Calibrate: Principled Initialization for Hybrid Linear Attention Distillation
Arxiv
0+阅读 · 6月15日
参考链接
微信扫码咨询专知VIP会员
Top