Report
Jax-Lean transpiler aims to formally verify Python ML code
The linked project page describes JAX’s nearly one-to-one NumPy interface and a core framework not limited to machine learning.
TLDR
Sharing “Provably Correct Tensor Puzzles,” the project’s author says they built a Jax-Lean transpiler to formally verify Python ML code. The linked page describes JAX as a numerical transformation system with a nearly one-to-one NumPy interface, and says its core framework is not limited to machine learning.
Combined views
8
1 Source, first seen ago
