/Rapimt

Rapimt: Rapid Inverse Model Transformation

Primary LanguageRustGNU General Public License v3.0GPL-3.0

Rapid Inverse Model Transformation

Test Docs

Inverse Model Transformation in Rust

Introduction

Installation

TODO List

  • Use patricia tree to store rules in a device
  • Optimize the inverse model resizing
  • Benchmark the performance in larger datasets
  • Implement more verification modules, such as the paper "Modular DPV for Compositional Networks"

Reference

License