RAG4C Evaluation Datasets, prompts, scripts, solver encoding, results

Fuente: Zenodo
Saved in:
Bibliographic Details
Main Author: Liu, Tianhai
Format: Recurso digital
Published: Zenodo 2025
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_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