C++ Network Kernel Drivers, DPDK applications, and formally verified (TLA+) protocols for Private Cloud Compute

Training and Inference for fraud classification models with PySpark, PyTorch, and ONNX Runtime