Data · dataset · 2026
A Neuro-Symbolic Guardrail for Compliance with Aircraft Noise Laws: Source Code and Experiment Archive LSP LS
Listed in ScienceDB
This dataset is the reproducibility archive accompanying the manuscript "Compliance with Aircraft Noise Laws across Jurisdictions: Automated Equivalence Checking with a Neuro-Symbolic Guardrail" (under review at IEEE Access).
Description
It contains: (1) the complete Python source code (regulation-as-code limit engine, type-design cross-reference, six-step adjudicator, LLM extraction pipeline); (2) all experiment artifacts (per-case adjudications, per-call JSONL logs, machine-readable summaries for seven experiments); (3) the original UK CAA Aircraft Noise Database (CAAdB) files; (4) ground-truth tables parsed from EASA TCDSN documents.
Coverage: 6,664 Chapter 3 jet configurations (19,992 pointwise limit checks), 11,688/4,754 Chapter 4/14 cumulative records, 99 real TCDSN extraction cases, four-seed × 80-case fault-injection experiments, and a five-model comparison.
Links
Where it is published
- DOI doi.org/10.57760/sciencedb.0109x ↗
DOI / persistent id · from scidb cn
Catalogue records · 1
- OAI-PMH record scidb.cn/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=10.57760%2… ↗
metadata API · from scidb cn
Topics
- From keywords
- Computer Science & AI · Earth & Environmental Science · Engineering · Humanities · Life Sciences · Social Science
- Inferred from text
- Acoustics and noise control 77%
Provenance · 1 source records, 12 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| ScienceDB | 10.57760/sciencedb.0109x | 10 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].anzsrc:field:401701 | enrichment · scidb cn | taxonomy-embedding@1.0.0 | title+keywords+description (77%) |
| concepts[field].local:field:computer-science-ai | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].local:field:engineering | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].local:field:humanities | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].local:field:life-sciences | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| concepts[field].local:field:social-science | mapping · scidb cn | connector:scidb_cn@1.0.0 | |
| description | source · scidb cn | connector:scidb_cn@1.0.0 | /metadata/dc/description |
| license | source · scidb cn | connector:scidb_cn@1.0.0 | /metadata/dc/rights |
| publication_date | source · scidb cn | connector:scidb_cn@1.0.0 | |
| title | source · scidb cn | connector:scidb_cn@1.0.0 | /metadata/dc/title |