Skip to content
#

mathematical-verification

Star

Here are 3 public repositories matching this topic...

Language: All
Filter by language
All 3 Python 2 TeX 1

Zhugy-8086 / ultrametric-verification

Star 0

超度量(p-adic) Attention 的严格数学验证：公共前缀深度得分、树 softmax、层级聚合、离散 ℓ 无梯度 VAPO 学习，NumPy/PyTorch 双库互证。 Rigorous dual-library (NumPy+PyTorch) verification of ultrametric (p-adic) attention: tree softmax, hierarchical aggregation, derivative-free VAPO learning. Clone and run.

machine-learning deep-learning neural-network reproducible-research numpy mathematics pytorch attention-mechanism number-theory softmax p-adic hierarchical-attention derivative-free-optimization ultrametric p-adic-numbers non-archimedean hierarchical-representation mathematical-verification tree-softmax discrete-learning
  • Updated Aug 23, 2026
  • Python

Zhugy-8086 / math-verification

Star 0

整数量化的严格数学验证：随机舍入、误差反馈、位拆分、精度分配、噪声整形、梯度恒等式、网络属性，NumPy/PyTorch 双库互证，开箱即跑。Independent, reproducible, dual-library (NumPy + PyTorch) verification of integer-quantization mathematics. Clone and run.

machine-learning reproducible-research numpy pytorch quantization numerical-analysis error-feedback low-precision neural-network-quantization integer-quantization noise-shaping stochastic-rounding mathematical-verification delta-sigma-modulation
  • Updated Aug 19, 2026
  • Python

Improve this page

Add a description, image, and links to the mathematical-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the mathematical-verification topic, visit your repo's landing page and select "manage topics."

Learn more