Image de couverture de livre

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

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Prasad, Siddhartha Arjun, Austen, Skyler, Krishnamurthi, Shriram, Fisler, Kathi
Format:	Recurso digital
Publié:	Zenodo 2026
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Artifact For: Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages
par: Prasad, Siddhartha Arjun, et autres
Publié: (2026)

Grounded Language Design for Lightweight Diagramming for Formal Methods
par: Prasad, Siddhartha, et autres
Publié: (2024)

Conceptual Mutation Testing for Student Programming Misconceptions
par: Prasad, Siddhartha, et autres
Publié: (2023)

Profiling Programming Language Learning
par: Crichton, Will, et autres
Publié: (2024)

Type-Error Ablation and AI Coding Agents
par: Krishnamurthi, Shriram, et autres
Publié: (2026)

Artifact for A Misconception-Driven Adaptive Tutor for Linear Temporal Logic
par: Prasad, Siddhartha Arjun
Publié: (2025)

An Interactive Debugger for Rust Trait Errors
par: Gray, Gavin, et autres
Publié: (2025)

The Human-GenAI Value Loop in Human-Centered Innovation: Beyond the Magical Narrative
par: Grange, Camille, et autres
Publié: (2024)

The Human‐ GenAI Value Loop in Human‐Centered Innovation: Beyond the Magical Narrative
par: Camille Grange, et autres
Publié: (2025)

AI Policy, Disclosure, and Human in the Loop: How Are Contribution Guidelines Adapting to GenAI?
par: Hora, Andre, et autres
Publié: (2026)

Lessons for GenAI Literacy From a Field Study of Human-GenAI Augmentation in the Workplace
par: Johri, Aditya, et autres
Publié: (2025)

Putting GenAI on Notice: GenAI Exceptionalism and Contract Law
par: Atkinson, David
Publié: (2025)

GenAI Distortion: The Effect of GenAI Fluency and Positive Affect
par: Yang, Xiantong, et autres
Publié: (2024)

Facilitating Human Feedback for GenAI Prompt Optimization
par: Sherson, Jacob, et autres
Publié: (2024)

Privacy-Respecting Type Error Telemetry at Scale
par: Greenman, Ben, et autres
Publié: (2024)

Integrating Human‐Conversational GenAI in MBSE: Towards Human‐AI Interdependency?
par: Émilie Perreau, et autres
Publié: (2025)

OSS GenAI Governance
par: Anonymous
Publié: (2026)

GenAI in Higher Education
par: Illingworth, Sam, et autres
Publié: (2026)

Haptic Repurposing with GenAI
par: Wang, Haoyu
Publié: (2024)

GenAI-Powered Inference
par: Imai, Kosuke, et autres
Publié: (2025)

Duplicate Detection with GenAI
par: Ormesher, Ian
Publié: (2024)

GenAIOps for GenAI Model-Agility
par: Ueno, Ken, et autres
Publié: (2024)

Human to Document, AI to Code: Comparing GenAI for Notebook Competitions
par: Settewong, Tasha, et autres
Publié: (2025)

Req2Road: A GenAI Pipeline for SDV Test Artifact Generation and On-Vehicle Execution
par: Zyberaj, Denesa, et autres
Publié: (2026)

How to Strategize Human Content Creation in the Era of GenAI?
par: Esmaeili, Seyed A., et autres
Publié: (2024)

Lightweight GenAI for Network Traffic Synthesis: Fidelity, Augmentation, and Classification
par: Bovenzi, Giampaolo, et autres
Publié: (2026)

NLS: Natural-Level Synthesis for Hardware Implementation Through GenAI
par: Yang, Kaiyuan, et autres
Publié: (2025)

AI as "Co-founder": GenAI for Entrepreneurship
par: Cai, Junhui Jeff, et autres
Publié: (2025)

Collaborating with GenAI: Incentives and Replacements
par: Taitler, Boaz, et autres
Publié: (2025)

Selective Response Strategies for GenAI
par: Taitler, Boaz, et autres
Publié: (2025)

Role of Databases in GenAI Applications
par: Bhupathi, Santosh
Publié: (2025)

Troubling Taxonomies in GenAI Evaluation
par: Berman, Glen, et autres
Publié: (2024)

GenAI Assisting Medical Training
par: Fritsch, Stefan, et autres
Publié: (2024)

Foreign Language Annals forthcoming policy on the use of GenAI
par: Kristin J. Davin, et autres
Publié: (2025)

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

Designing Human-GenAI Interaction for cMOOC Discussion Facilitation: Effects of a Collaborative AI-in-the-Loop Workflow on Social and Cognitive Presence
par: Xiao, Jianjun, et autres
Publié: (2026)

Reimagining Legal Fact Verification with GenAI: Toward Effective Human-AI Collaboration
par: Han, Sirui, et autres
Publié: (2026)

Toward Agentic Environments: GenAI and the Convergence of AI, Sustainability, and Human-Centric Spaces
par: Pospieszny, Przemek, et autres
Publié: (2025)

Toward Agentic Environments: GenAI and the Convergence of AI , Sustainability, and Human‐Centric Spaces
par: Przemek Pospieszny, et autres
Publié: (2025)

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