Data · dataset · 2026
Improving Dynamic Specification Inference with LLM-Generated Counterexamples [* Cross-Reference *]
Listed in LORE
Description
***This entry has been automatically imported via Datacite by LIST harvest scripts. Please refer to doi.org/10.5281/zenodo.18899069 for the original and latest version of the dataset and data downloads***
Links
Where it is published
- Dataverse dataset page lore.list.lu/dataset.xhtml?persistentId=perma%3ALIST.T75AAM ↗
landing page · from lore list lu
- Persistent identifier lore.list.lu/citation?persistentId=perma%3ALIST.T75AAM ↗
DOI / persistent id · from lore list lu
Catalogue records · 1
- Dataverse API lore.list.lu/api/datasets/:persistentId/?persistentId=perma%3ALIST.T75AAM ↗
metadata API · from lore list lu
Topics
- Stated by source
- Other
Related
Provenance · 1 source records, 7 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| LORE | perma:LIST.T75AAM | 5 h ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].dataverse_subject:other | source · lore list lu | connector:lore_list_lu@1.0.0 | /subjects |
| created_date | source · lore list lu | connector:lore_list_lu@1.0.0 | |
| description | source · lore list lu | connector:lore_list_lu@1.0.0 | /description |
| publication_date | source · lore list lu | connector:lore_list_lu@1.0.0 | |
| title | source · lore list lu | connector:lore_list_lu@1.0.0 | /name |
| updated_date | source · lore list lu | connector:lore_list_lu@1.0.0 | |
| version_label | source · lore list lu | connector:lore_list_lu@1.0.0 |