Expand description
Python bindings for XLOG via PyO3.
Structsยง
- Compiled
Conditioned Program - A fixed accepted-evidence exact circuit with mutable independent fact priors.
- Compiled
IlpProgram - Compiled
Logic Program - Compiled
Program - Epistemic
Eval Result - Exact probabilities conditioned on an accepted epistemic world view.
- Epistemic
Evidence - Summary of one accepted epistemic GPU execution.
- Epoch
Stats - Statistics for a single training epoch.
- Eval
Result - IlpProgram
Factory - IlpTagged
Credit Device Result - Logic
Eval Result - Logic
Program - Logic
Query Result - Logic
Relation Session - McDevice
Eval Result - Program
- PyDifferentiable
Proof Trace Map - Training
History - Training history tracking loss over epochs and batches.