Wolfram Cloud Resource Object

Paclet Resource

Home

Guides

THVMLink

Tech Notes

Theorem Proving with THVMLink
Methods and Presets for TFindProof
Disproving Conjectures with Countermodels
Finding Replacement Paths with Directed Rules
Learned Guidance: a GNN for Critical-Pair Selection
GPT-2 Inference with THVMLink
A Tour of THVMLink
Congruence Closure and Lazy DPLL(T)
Importing TPTP Benchmarks
Tensors, Autodiff, and Kernels with THVMLink
Training Neural Networks with THVMLink

Symbols