SemanticScuttle - klotz.me

klotz: verification*

0 bookmark(s) - Sort by: Date ↓ / Title / - Bookmarks from other users for this tag

1. Growl

   An OWL 2 RL reasoner with Z3-verified inference rules. Written in SLOP, it compiles to efficient C code while using SMT solving to prove properties about the inference logic.

   2026-02-10 Tags: owl, reasoner, z3, slop, owl 2 rl, smt, inference, verification, trivyn by klotz
2. Siamese networks with Keras, TensorFlow, and Deep Learning - PyImageSearch

   2020-12-01 Tags: keras, tensorflow, verification, comparison, classification, embedding, deep learning by klotz

Top of the page

First / Previous / Next / Last / Page 1 of 0