Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up

Planned intervention: On Thursday, August 13th, 06:15 UTC, Zenodo will be unavailable for 3-5 minutes to perform a storage cluster upgrade.

Published April 17, 2026 | Version v4
Other Open

Artifact For: Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages

Authors/Creators

  • Prasad, Siddhartha Arjun ORCID icon
  • Austen, Skyler ORCID icon
  • Krishnamurthi, Shriram
  • Fisler, Kathi

Files

artifact.pdf

Files (959.2 MB)

Name Size
artifact.pdf
md5:5681e144b3ce709210bb5c639853cfcb
495.0 kB Preview Download
ecoop-2026-artifact.tar.gz
md5:2f78bb3882dca87bb316662095cfe3c6
958.7 MB Download
130
Views
108
Downloads
Show more details
All versions This version
Views

Total views

130 61
Downloads

Total downloads

108 52
Data volume

Total data volume

16.2 GB 13.4 GB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.19631605
DOI Badge

DOI

10.5281/zenodo.19631605

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.19631605.svg)](https://doi.org/10.5281/zenodo.19631605)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.19631605.svg
  :target: https://doi.org/10.5281/zenodo.19631605

HTML

<a href="https://doi.org/10.5281/zenodo.19631605"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.19631605.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.5281/zenodo.19631605.svg

Target URL

https://doi.org/10.5281/zenodo.19631605
Resource type
Other
Publisher
Zenodo

Rights

License
MIT License
A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more

Citation

Export

Technical metadata

Created
April 17, 2026
Modified
April 17, 2026

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies