Datasets

Open datasets from our research.

Large-scale, structurally validated datasets built to support empirical software engineering and AI-based modeling research.

B-UML Dataset

A large-scale, multi-representation dataset of structurally validated B-UML models across 302 domain categories.

Explore

NN Dataset

An LLM-generated dataset of PyTorch neural network implementations for verification, refactoring and migration research.

Explore