model-extraction topic

Privacy Testing for Deep Learning

trailofbits

A micro-service reference test application for model extraction, cloud management, energy efficiency, power prediction, single- and multi-tier auto-scaling

DescartesResearch

General-purpose library for extracting interpretable models from Multi-Agent Reinforcement Learning systems

dmitrykazhdan

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

nclarius