Image de couverture de livre

ProofBuddy: How it Started, How it's Going

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Karsten, Nadine, Eiken, Kim Jana, Nestmann, Uwe
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Computers and Society D2.2,G.4,H.5.2,J1,K.3.0
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Complexity as Design Material
par: Windhager, Florian, et autres
Publié: (2024)

Critical Design Strategy: a Method for Heuristically Evaluating Visualisation Designs
par: Roberts, Jonathan C., et autres
Publié: (2025)

The Spectacle of Fidelity: Blind Resistance and the Wizardry of Prototyping
par: Bhowmick, Hrittika, et autres
Publié: (2025)

Fostering Creative Visualisation Skills Through Data-Art Exhibitions
par: Roberts, Jonathan C.
Publié: (2024)

Blockchain-Driven Research in Personality-Based Distributed Pair Programming
par: Valovy, Marcel, et autres
Publié: (2024)

Responsive Graphical User Interface (ReGUI) and its Implementation in MATLAB
par: Mikulszky, Matej, et autres
Publié: (2017)

GenPara: Enhancing the 3D Design Editing Process by Inferring Users' Regions of Interest with Text-Conditional Shape Parameters
par: Choi, Jiin, et autres
Publié: (2025)

Embedding Generative AI into Systems Analysis and Design Curriculum: Framework, Case Study, and Cross-Campus Empirical Evidence
par: Elkhodr, Mahmoud, et autres
Publié: (2025)

Privacy vs. Profit: The Impact of Google's Manifest Version 3 (MV3) Update on Ad Blocker Effectiveness
par: Lukic, Karlo, et autres
Publié: (2025)

Retzzles: Do Jigsaw Puzzle Actions on Interactive Display Maps Increase the Retention of Map Information?
par: Kovačević, Nikola, et autres
Publié: (2024)

Explained, yet misunderstood: How AI Literacy shapes HR Managers' interpretation of User Interfaces in Recruiting Recommender Systems
par: Kalff, Yannick, et autres
Publié: (2025)

MemoVis: A GenAI-Powered Tool for Creating Companion Reference Images for 3D Design Feedback
par: Chen, Chen, et autres
Publié: (2024)

Privacy Engineering From Principles to Practice: A Roadmap
par: Pallas, Frank, et autres
Publié: (2024)

BIG-AOME: Designing Bodily Interaction Gamification towards Anti-sedentary Online Meeting Environments
par: Jiang, Jiaqi, et autres
Publié: (2025)

How Notations Evolve: A Historical Analysis with Implications for Supporting User-Defined Abstractions
par: Zhang, Jingyue, et autres
Publié: (2026)

A Neuro-Symbolic Framework for Accountability in Public-Sector AI
par: Sunny, Allen Daniel, et autres
Publié: (2025)

How Designers Envision Value-Oriented AI Design Concepts with Generative AI
par: Sinlapanuntakul, Pitch, et autres
Publié: (2026)

"I Felt Bad After We Ignored Her": Understanding How Interface-Driven Social Prominence Shapes Group Discussions with GenAI
par: Johnson, Janet G., et autres
Publié: (2026)

How to Count AIs: Individuation and Liability for AI Agents
par: Arbel, Yonathan, et autres
Publié: (2026)

The Accountability Paradox: How Platform API Restrictions Undermine AI Transparency Mandates
par: Burnat, Florian A. D., et autres
Publié: (2025)

Teacher Professional Development on WhatsApp and LLMs: Early Lessons from Cameroon
par: Cannanure, Vikram Kamath, et autres
Publié: (2026)

Just Roll with It: Exploring the Mitigating Effects of Postural Alignment on Vection-Induced Cybersickness in Virtual Reality Over Time
par: Croucher, Charlotte, et autres
Publié: (2025)

A Three Steps Methodological Approach to Legal Governance Validation
par: Casanovas, Pompeu, et autres
Publié: (2024)

Behind India's ChatGPT Conversations: A Retrospective Analysis of 238 Unedited User Prompts
par: Khona, Kalyani
Publié: (2025)

The Perfection Paradox: From Architect to Curator in AI-Assisted API Design
par: Ahmad, Mak, et autres
Publié: (2026)

The Interplay of Attention and Memory in Visual Enumeration
par: Sankar, B., et autres
Publié: (2025)

A Collaborative, Human-Centred Taxonomy of AI, Algorithmic, and Automation Harms
par: Abercrombie, Gavin, et autres
Publié: (2024)

What Should Explanations Contain? A Human-Centered Explanation Content Model for Local, Post-Hoc Explanations
par: Degen, Helmut
Publié: (2026)

Texterial: A Text-as-Material Interaction Paradigm for LLM-Mediated Writing
par: Shen, Jocelyn, et autres
Publié: (2026)

LLM-Driven Accessible Interface: A Model-Based Approach
par: Jerry, Blessing, et autres
Publié: (2026)

Time Perception in Virtual Reality: Effects of Emotional Valence and Stress Level
par: Syrigou, Kyriaki, et autres
Publié: (2025)

Colour Perception in Immersive Virtual Reality: Emotional and Physiological Responses to Fifteen Munsell Hues
par: Febbraio, Francesco, et autres
Publié: (2025)

LifeSync-Games: Toward a Video Game Paradigm for Promoting Responsible Gaming and Human Development
par: González-Ibáñez, R., et autres
Publié: (2025)

Path-based Design Model for Constructing and Exploring Alternative Visualisations
par: Jackson, James, et autres
Publié: (2024)

Towards a Working Definition of Designing Generative User Interfaces
par: Lee, Kyungho
Publié: (2025)

Imagining a Future of Designing with AI: Dynamic Grounding, Constructive Negotiation, and Sustainable Motivation
par: Vaithilingam, Priyan, et autres
Publié: (2024)

Generative Confidants: How do People Experience Trust in Emotional Support from Generative AI?
par: Volpato, Riccardo, et autres
Publié: (2026)

Human-Centered AI Product Prototyping with No-Code AutoML: Conceptual Framework, Potentials and Limitations
par: Truss, Mario, et autres
Publié: (2024)

ImprovMate: Multimodal AI Assistant for Improv Actor Training
par: Drago, Riccardo, et autres
Publié: (2025)

A mobile digital device proficiency performance test for cognitive clinical research
par: Andrade, Alan Cronemberger, et autres
Publié: (2023)