| _version_ | 1866901130287513600 |
|---|---|
| author | Liu, Tianhai |
| author_facet | Liu, Tianhai |
| contents | <h3>RAG4C: Observable-Centric Consistency Checking of Requirements and Models — Research Artifacts</h3> <p><strong>This archive contains:</strong></p> <ul> <li> <p><strong>Datasets</strong> used in our experiments</p> </li> <li> <p><strong>Prompts</strong> for observable extraction, synonym construction, and constraints formalisation</p> </li> <li><strong>Results</strong> (intermediate and final metrics)</li> <li> <p><strong>Scripts</strong> to reproduce tables and figures</p> </li> </ul> <p><strong>Implementation</strong></p> <ul> <li> <p>The RAG4C implementation is <strong>available upon request</strong>.</p> </li> </ul> <p>These materials support reproducibility and enable further comparison and extension of observable-centric consistency checking approaches.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18099795 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | RAG4C Evaluation Datasets, prompts, scripts, solver encoding, results Liu, Tianhai <h3>RAG4C: Observable-Centric Consistency Checking of Requirements and Models — Research Artifacts</h3> <p><strong>This archive contains:</strong></p> <ul> <li> <p><strong>Datasets</strong> used in our experiments</p> </li> <li> <p><strong>Prompts</strong> for observable extraction, synonym construction, and constraints formalisation</p> </li> <li><strong>Results</strong> (intermediate and final metrics)</li> <li> <p><strong>Scripts</strong> to reproduce tables and figures</p> </li> </ul> <p><strong>Implementation</strong></p> <ul> <li> <p>The RAG4C implementation is <strong>available upon request</strong>.</p> </li> </ul> <p>These materials support reproducibility and enable further comparison and extension of observable-centric consistency checking approaches.</p> |
| title | RAG4C Evaluation Datasets, prompts, scripts, solver encoding, results |
| url | https://doi.org/10.5281/zenodo.18099795 |