WolframInstitute/THVMLink
Wolfram Language bridge to thvm - observe and drive the interaction-net runtime.
Contributed By: Wolfram Institute
THVMLink exposes , , , , , , , , , , , and many more.
Installation Instructions
To install this paclet in your Wolfram Language environment,
evaluate this code:
PacletInstall[ResourceObject["https://wolfr.am/1ELBYJ3Mx"]]
To load the code after installation, evaluate this code:
Needs["WolframInstitute`THVMLink`"]
Details
THVMLink is the Wolfram-language driver for thvm, a tensor-aware interaction-net runtime that compiles to CPU, CUDA, and Metal back ends from one symbolic graph.
Construction is purely symbolic. , , , and build interaction-combinator terms; and the rest of the TUOp* family build the tensor UOp graph; ingests a NumericArray zero-copy on CPU.
Reduction is staged. drives a term to weak normal form, schedules the UOp DAG into kernels, and fires the whole pipeline (schedule + dispatch).
Differentiation lives in the runtime. seeds a single backward walk that auto-grads every reachable float leaf; per-leaf adjoints are readable via .
Introspection is first class. renders the live heap as an IC string diagram, projects per-buffer alive spans, and exposes per-kernel timing, source, and autotune candidates.
The ATP submodule wraps thvm's equational saturation engine via (a drop-in FindEquationalProof replacement that returns a full ProofObject) and the lower-level .