Cover Image

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

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Prasad, Siddhartha Arjun, Austen, Skyler, Krishnamurthi, Shriram, Fisler, Kathi
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Artifact For: Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages
by: Prasad, Siddhartha Arjun, et al.
Published: (2026)

Grounded Language Design for Lightweight Diagramming for Formal Methods
by: Prasad, Siddhartha, et al.
Published: (2024)

Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)

Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)

Type-Error Ablation and AI Coding Agents
by: Krishnamurthi, Shriram, et al.
Published: (2026)

Artifact for A Misconception-Driven Adaptive Tutor for Linear Temporal Logic
by: Prasad, Siddhartha Arjun
Published: (2025)

An Interactive Debugger for Rust Trait Errors
by: Gray, Gavin, et al.
Published: (2025)

The Human-GenAI Value Loop in Human-Centered Innovation: Beyond the Magical Narrative
by: Grange, Camille, et al.
Published: (2024)

The Human‐ GenAI Value Loop in Human‐Centered Innovation: Beyond the Magical Narrative
by: Camille Grange, et al.
Published: (2025)

AI Policy, Disclosure, and Human in the Loop: How Are Contribution Guidelines Adapting to GenAI?
by: Hora, Andre, et al.
Published: (2026)

Lessons for GenAI Literacy From a Field Study of Human-GenAI Augmentation in the Workplace
by: Johri, Aditya, et al.
Published: (2025)

Putting GenAI on Notice: GenAI Exceptionalism and Contract Law
by: Atkinson, David
Published: (2025)

GenAI Distortion: The Effect of GenAI Fluency and Positive Affect
by: Yang, Xiantong, et al.
Published: (2024)

Facilitating Human Feedback for GenAI Prompt Optimization
by: Sherson, Jacob, et al.
Published: (2024)

Privacy-Respecting Type Error Telemetry at Scale
by: Greenman, Ben, et al.
Published: (2024)

Integrating Human‐Conversational GenAI in MBSE: Towards Human‐AI Interdependency?
by: Émilie Perreau, et al.
Published: (2025)

OSS GenAI Governance
by: Anonymous
Published: (2026)

GenAI in Higher Education
by: Illingworth, Sam, et al.
Published: (2026)

Haptic Repurposing with GenAI
by: Wang, Haoyu
Published: (2024)

GenAI-Powered Inference
by: Imai, Kosuke, et al.
Published: (2025)

Duplicate Detection with GenAI
by: Ormesher, Ian
Published: (2024)

GenAIOps for GenAI Model-Agility
by: Ueno, Ken, et al.
Published: (2024)

Human to Document, AI to Code: Comparing GenAI for Notebook Competitions
by: Settewong, Tasha, et al.
Published: (2025)

Req2Road: A GenAI Pipeline for SDV Test Artifact Generation and On-Vehicle Execution
by: Zyberaj, Denesa, et al.
Published: (2026)

How to Strategize Human Content Creation in the Era of GenAI?
by: Esmaeili, Seyed A., et al.
Published: (2024)

Lightweight GenAI for Network Traffic Synthesis: Fidelity, Augmentation, and Classification
by: Bovenzi, Giampaolo, et al.
Published: (2026)

NLS: Natural-Level Synthesis for Hardware Implementation Through GenAI
by: Yang, Kaiyuan, et al.
Published: (2025)

AI as "Co-founder": GenAI for Entrepreneurship
by: Cai, Junhui Jeff, et al.
Published: (2025)

Collaborating with GenAI: Incentives and Replacements
by: Taitler, Boaz, et al.
Published: (2025)

Selective Response Strategies for GenAI
by: Taitler, Boaz, et al.
Published: (2025)

Role of Databases in GenAI Applications
by: Bhupathi, Santosh
Published: (2025)

Troubling Taxonomies in GenAI Evaluation
by: Berman, Glen, et al.
Published: (2024)

GenAI Assisting Medical Training
by: Fritsch, Stefan, et al.
Published: (2024)

Foreign Language Annals forthcoming policy on the use of GenAI
by: Kristin J. Davin, et al.
Published: (2025)

GenAI Against Humanity: Nefarious Applications of Generative Artificial Intelligence and Large Language Models
by: Ferrara, Emilio
Published: (2023)

Designing Human-GenAI Interaction for cMOOC Discussion Facilitation: Effects of a Collaborative AI-in-the-Loop Workflow on Social and Cognitive Presence
by: Xiao, Jianjun, et al.
Published: (2026)

Reimagining Legal Fact Verification with GenAI: Toward Effective Human-AI Collaboration
by: Han, Sirui, et al.
Published: (2026)

Toward Agentic Environments: GenAI and the Convergence of AI, Sustainability, and Human-Centric Spaces
by: Pospieszny, Przemek, et al.
Published: (2025)

Toward Agentic Environments: GenAI and the Convergence of AI , Sustainability, and Human‐Centric Spaces
by: Przemek Pospieszny, et al.
Published: (2025)

"So what if I used GenAI?" -- Implications of Using Cloud-based GenAI in Software Engineering Research
by: Ginde, Gouri
Published: (2024)