Dataset - LDM

Neural Abstractions for Dynamical Models

The dataset used in this paper is a collection of neural abstractions for dynamical models. The dataset consists of neural networks with different activation functions...
- Dataset
- JSON
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems

The dataset used in the paper is a set of grid-cell problems, including Sudoku and Reachability. The dataset is used to test the proposed abstraction method for solving these...
- Dataset
- JSON

You can also access this registry using the API (see API Docs).

2 datasets found