Evaluation artifact for the Modelizer framework described in "Learning Program Behavioral Models from Synthesized Input-Output Pairs"

This package contains the evaluation artifact for Modelizer - a framework for learning models from BlackBox systems using Input-Output examples.

It consists of the following zip archives:

train.zip: synthetic data used for the model training

test.zip: synthetic and extracted real data used for the model evaluation 

eval.zip: evaluation results (experiment results and notebooks with the analysis of the results)

models.zip: all the models that were trained during the experiments

You can find the framework implementation and usage instructions at https://github.com/2ral/Modelizer

For the revised version, please refer to https://zenodo.org/records/15041168