Formeo/portal-frame-dataset

Formeo Portal Frame Dataset v2

50,000 verified samples / hour. Physics-verified structural samples from Formeo's Dataset Factory. This public sample is train-only input/output pairs and check labels under Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0). Generator, verifier, reasoning traces, and eval holdout stay proprietary. Need another structure type or engineering domain? Get in touch: info@formeo.ai.

Summary

Physics-verified structural engineering dataset for steel portal frames: design inputs, reference solutions, per-clause Eurocode checks, and labeled ULS/SLS outcomes.

v2 replaces the withdrawn v1 public sample. Licence is now Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0); the public cut is train-only and smaller; sizing trajectories are not published.

The public sample is the proof. The sellable asset is the generator + verifier + reasoning traces for a verifiable engineering domain. Those traces and any eval holdout are not in this repository.

Formeo is an AI-driven structural engineering design platform developed by Kisfali Engineering Srls. This repository publishes a train-only public sample of the corpus under Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0). Commercial use, including training commercial models, requires a separate license. The generation pipeline, verifier API, reasoning traces, eval holdout, and full corpus remain proprietary.

• —HF dataset: `Formeo/portal-frame-dataset`
• —Dataset version: 2 (public package)
• —Factory throughput (measured): ~50,000 verified samples / hour
• —Structure family: single-bay pitched-roof steel portal frame
• —Public sample: 1,607 train samples (cc-by-nc-4.0) — no val/test, no trajectories
• —Full corpus (licensed): 20,000 samples (regeneration on request)
• —Record schema: 1.1
• —Units: SI (m, kN, kNm, kg, kgCO2e)

• —Feasible rate (ULS and SLS ≤ 1.0) on full run: 99.8%

Dataset contents

Not in this public sample: sizing trajectories (the engineer's catalog walk / reasoning traces), val/test split IDs, and the verifier. Those stay licensed / private.

Acceptance rule (dataset labels and checker are identical): a design is feasible only when both ULS strength utilization and SLS deflection utilization are ≤ 1.0. Governing utilization = max(ULS, SLS).

This package status mix: infeasible_catalog_limit=1, optimal=952, suboptimal=654

Intended use

This package is a non-commercial teaser of input/output pairs and check labels. It is not a benchmark: the public rows are train-only, and any earlier Hub revision that included val/test or trajectories is withdrawn.

Do not report eval numbers on this sample. A clean evaluation needs tasks generated from a private holdout that has never been published.

Formeo provides a programmatic task generator and a deterministic Eurocode scoring checker under license. Downstream systems can train or evaluate models that propose member sections; the checker returns pass/fail and per-clause diagnostics.

Parameter space (this release)

Ranges below match the factory sampler (CONTINUOUS_BOUNDS / CATEGORICALS) used to generate the data.

Initial section guesses are sampled within the chosen IPE/HEA family; final sections result from the sizing catalog walk (same families). Catalog upper bound in this release: IPE600 / HEA as in the Formeo materials DB.

Design status labels

failure_mode indicates whether the overshoot is strength (uls), deflection (sls), or both.

Check fidelity

• —EN 1993 member checks: Formeo simplified implementation (not a full commercial design suite covering every clause of EN 1993-1-1).
• —SLS: vertical apex δz ≤ L/200, horizontal eaves δx ≤ H/150. Actual displacements and limits are stored per sample.
• —Linear 3D frame FEA; idealized single portal frame; no haunches, connections, fire, or fatigue.
• —Frame-only eCO₂ (default 1.5 kgCO2e/kg steel A1–A3); purlins/cladding excluded.
• —Single CEN-style annex for this release.

Package contents

• —samples.jsonl — train-only sample records without sizing_trajectory
• —samples.parquet — train-only tabular rows (Hub default config)
• —checks.parquet — per-member / per-clause labels
• —docs/assets/ — UI screenshot + sample calculation report PDF (when included)
• —docs/qa_plots/ — utilization, status, span–mass diagnostic plots (when included)
• —docs/figures/ — curated learnability / env-demo plots (when included)
• —manifest.json — sample size and status counts

Withheld: trajectories.parquet, splits.json, val/test rows, reasoning traces.

Card media lives under docs/ so Hub does not auto-detect an ImageFolder dataset from PNG directories.

Legal & Copyright

• —Copyright: © 2026 Kisfali Engineering Srls. All rights reserved.
• —Dataset public license: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) (cc-by-nc-4.0). Attribution required. Non-commercial only. Commercial use — including training, fine-tuning, or evaluating a commercial model or product — requires a written license from Kisfali Engineering Srls.
• —Proprietary assets: The generation pipeline, verifier API, reasoning traces, eval holdout, full corpus, and commercial usage rights are owned exclusively by Kisfali Engineering Srls.

This license applies to v2 forward. The v1 Hub sample (CC BY 4.0, val/test IDs, and trajectories) is withdrawn.

For commercial licensing, custom structure families, verifier API access, or synthetic data for another engineering need, contact Kisfali Engineering Srls. at info@formeo.ai.

Citation

@dataset{formeo_portal_frame_v2_2026,
  author       = {Kisfali Engineering Srls.},
  title        = {Formeo Dataset Factory: Portal Frame v2},
  year         = 2026,
  publisher    = {Hugging Face},
  url          = {https://huggingface.co/datasets/Formeo/portal-frame-dataset}
}