Copertina

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Huang, Ruanqianqian, Monroe, Ayana, de Halleux, Peli, Lerner, Sorin, Bjørner, Nikolaj
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Human-Computer Interaction Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Investigating the Impact and Student Perceptions of Guided Parsons Problems for Learning Logic with Subgoals
di: Tithi, Sutapa Dey, et al.
Pubblicazione: (2025)

Tidynote: Always-Clear Notebook Authoring
di: Huang, Ruanqianqian, et al.
Pubblicazione: (2026)

Validating AI-Generated Code with Live Programming
di: Ferdowsi, Kasra, et al.
Pubblicazione: (2023)

Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
di: Huang, Ruanqianqian, et al.
Pubblicazione: (2025)

How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities
di: Huang, Ruanqianqian, et al.
Pubblicazione: (2025)

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
di: Yanahama, Banri, et al.
Pubblicazione: (2026)

Open WebUI: An Open, Extensible, and Usable Interface for AI Interaction
di: Baek, Jaeryang, et al.
Pubblicazione: (2025)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
di: Motoura, Shota, et al.
Pubblicazione: (2025)

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols
di: Hozzová, Petra, et al.
Pubblicazione: (2025)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
di: Ho, Loan, et al.
Pubblicazione: (2025)

Proof Assistants for Teaching: a Survey
di: Minh, Frédéric Tran, et al.
Pubblicazione: (2025)

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
di: Li, Bohan, et al.
Pubblicazione: (2024)

Approximating Human Models During Argumentation-based Dialogues
di: Tang, Yinxu, et al.
Pubblicazione: (2024)

On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages
di: Gatterbauer, Wolfgang, et al.
Pubblicazione: (2024)

PolySAT: Word-level Bit-vector Reasoning in Z3
di: Rath, Jakob, et al.
Pubblicazione: (2024)

Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
di: Tang, Yinxu, et al.
Pubblicazione: (2025)

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
di: Patel, Manooshree, et al.
Pubblicazione: (2025)

Usable-by-Construction: a formal framework
di: Reeves, Steve
Pubblicazione: (2024)

Transparent AI: Developing an Explainable Interface for Predicting Postoperative Complications
di: Ren, Yuanfang, et al.
Pubblicazione: (2024)

Dialectical Reconciliation via Structured Argumentative Dialogues
di: Vasileiou, Stylianos Loukas, et al.
Pubblicazione: (2023)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
di: Eiter, Thomas, et al.
Pubblicazione: (2026)

Decision-Oriented Programming with Aporia
di: Kasibatla, Saketh Ram, et al.
Pubblicazione: (2026)

Viverra: Text-to-Code with Guarantees
di: Wu, Haoze, et al.
Pubblicazione: (2026)

On Solving String Equations via Powers and Parikh Images
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)

Large Language Model Counterarguments in Older Adults: Cognitive Offloading or Vulnerability to Moral Persuasion?
di: Tamura, Kou, et al.
Pubblicazione: (2026)

HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding
di: González, Emmanuel Anaya, et al.
Pubblicazione: (2025)

Visualizing a Collective Student Model for Procedural Training Environments
di: Riofrío-Luzcando, Diego, et al.
Pubblicazione: (2025)

Cognitive control and mental workload in multitasking
di: Rauffet, Philippe, et al.
Pubblicazione: (2024)

Humboldt: Metadata-Driven Extensible Data Discovery
di: Bäuerle, Alex, et al.
Pubblicazione: (2024)

LLM-Based Config Synthesis requires Disambiguation
di: Mondal, Rajdeep, et al.
Pubblicazione: (2025)

The Command Line GUIde: Graphical Interfaces from Man Pages via AI
di: Kasibatla, Saketh Ram, et al.
Pubblicazione: (2025)

Network Traffic as a Scalable Ethnographic Lens for Understanding University Students' AI Tool Practices
di: Hu, Donghan, et al.
Pubblicazione: (2025)

Creating user stereotypes for persona development from qualitative data through semi-automatic subspace clustering
di: Korsgaard, Dannie, et al.
Pubblicazione: (2023)

WhatsAI: Transforming Meta Ray-Bans into an Extensible Generative AI Platform for Accessibility
di: Zaman, Nasif, et al.
Pubblicazione: (2025)

Relying on LLMs: Student Practices and Instructor Norms are Changing in Computer Science Education
di: Lin, Xinrui, et al.
Pubblicazione: (2026)

Preference-Aligned Options from Generative AI Compensates for Age-Related Cognitive Decline in Decision Making
di: Ishibashi, Sayaka, et al.
Pubblicazione: (2025)

Predicting Student Actions in a Procedural Training Environment
di: Riofrío-Luzcando, Diego, et al.
Pubblicazione: (2025)

MapQaTor: An Extensible Framework for Efficient Annotation of Map-Based QA Datasets
di: Dihan, Mahir Labib, et al.
Pubblicazione: (2024)

Localization of Vibrotactile Stimuli on the Face
di: Guptasarma, Shivani, et al.
Pubblicazione: (2025)

Learning in Context: Personalizing Educational Content with Large Language Models to Enhance Student Learning
di: Lim, Joy Jia Yin, et al.
Pubblicazione: (2025)