Copertina

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

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autori principali:	Prasad, Siddhartha Arjun, Austen, Skyler, Krishnamurthi, Shriram, Fisler, Kathi
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

Profiling Programming Language Learning
di: Crichton, Will, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

Putting GenAI on Notice: GenAI Exceptionalism and Contract Law
di: Atkinson, David
Pubblicazione: (2025)

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

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

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

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

OSS GenAI Governance
di: Anonymous
Pubblicazione: (2026)

GenAI in Higher Education
di: Illingworth, Sam, et al.
Pubblicazione: (2026)

Haptic Repurposing with GenAI
di: Wang, Haoyu
Pubblicazione: (2024)

GenAI-Powered Inference
di: Imai, Kosuke, et al.
Pubblicazione: (2025)

Duplicate Detection with GenAI
di: Ormesher, Ian
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

Selective Response Strategies for GenAI
di: Taitler, Boaz, et al.
Pubblicazione: (2025)

Role of Databases in GenAI Applications
di: Bhupathi, Santosh
Pubblicazione: (2025)

Troubling Taxonomies in GenAI Evaluation
di: Berman, Glen, et al.
Pubblicazione: (2024)

GenAI Assisting Medical Training
di: Fritsch, Stefan, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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