Image de couverture de livre

Artifact for A Misconception-Driven Adaptive Tutor for Linear Temporal Logic

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteur principal:	Prasad, Siddhartha Arjun
Format:	Recurso digital
Publié:	Zenodo 2025
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

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

Misconception Diagnosis From Student-Tutor Dialogue: Generate, Retrieve, Rerank
par: Mitton, Joshua, et autres
Publié: (2026)

EDGE: A Theoretical Framework for Misconception-Aware Adaptive Learning
par: Verma, Ananda Prakash
Publié: (2025)

Efficient Normalization of Linear Temporal Logic
par: Esparza, Javier, et autres
Publié: (2023)

Automated Identification of Logical Errors in Programs: Advancing Scalable Analysis of Student Misconceptions
par: Hoq, Muntasir, et autres
Publié: (2025)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

Linear Temporal Justification Logics with Past Operators
par: Ghari, Meghdad
Publié: (2018)

ProPACT: A Proactive AI-Driven Adaptive Collaborative Tutor for Pair Programming
par: Golrang, Anahita, et autres
Publié: (2026)

Myths, Misconceptions and Management.
par: Koenig, Michael E. D., et autres
Publié: (1984)

Epigenetics—Innovations and Misconceptions
par: Bernhard Horsthemke
Publié: (2026)

Model Checking Linear Temporal Logic with Standpoint Modalities
par: Aghamov, Rajab, et autres
Publié: (2025)

Diverse Planning with Simulators via Linear Temporal Logic
par: Abdelwahed, Mustafa F., et autres
Publié: (2025)

Pointwise-in-Time Explanation for Linear Temporal Logic Rules
par: Brindise, Noel, et autres
Publié: (2023)

Semantics for Linear-time Temporal Logic with Finite Observations
par: Amjad, Rayhana, et autres
Publié: (2024)

ArtifactLinker: Linking Scientific Artifacts for Automatic State-of-the-Art Discovery
par: Yu, Haofei, et autres
Publié: (2026)

Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
par: Bozkurt, Alper Kamil, et autres
Publié: (2025)

Directed Exploration in Reinforcement Learning from Linear Temporal Logic
par: Bagatella, Marco, et autres
Publié: (2024)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
par: Artale, Alessandro, et autres
Publié: (2022)

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
par: Raha, Ritam, et autres
Publié: (2021)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
par: Qi, Shuhao, et autres
Publié: (2024)

Misconceptions about the Big Bang
Publié: (2005)

Efficient Artifacts Removal for Adaptive Deep Brain Stimulation and a Temporal Event Localization Analysis
par: Liu, Tzu-Chi, et autres
Publié: (2025)

Towards Educator-Driven Tutor Authoring: Generative AI Approaches for Creating Intelligent Tutor Interfaces
par: Calo, Tommaso, et autres
Publié: (2024)

Data-Driven Hints in Intelligent Tutoring Systems
par: Tithi, Sutapa Dey, et autres
Publié: (2026)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
par: Yu, Pian, et autres
Publié: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
par: Ren, Wei, et autres
Publié: (2024)

Hierarchical Reasoning Models: Perspectives and Misconceptions
par: Ge, Renee, et autres
Publié: (2025)

Misconceptions and Open Issues in Energetic Materials
par: Didier Mathieu, et autres
Publié: (2025)

Student Misconceptions and Errors in Physics and Mathematics
par: Neidorf, Teresa, et autres
Publié: (2020)

On Common Misconceptions in Classical Vehicle Dynamics
par: Guiggiani, Massimo
Publié: (2026)

Demystifying Misconceptions in Social Bots Research
par: Cresci, Stefano, et autres
Publié: (2023)

Misconceptions about corporal punishment in Islam
par: Mohammed Shafiq, et autres
Publié: (2024)

Synthetic Control Misconceptions: Recommendations for Practice
par: Pickett, Robert, et autres
Publié: (2026)

QAL-Check: Quantum Alignment Logic Model Checker (Artifact)
par: Anonymous
Publié: (2026)

SLOW: Strategic Logical-inference Open Workspace for Cognitive Adaptation in AI Tutoring
par: Wei, Yuang, et autres
Publié: (2026)

A Study on Misconception of Using Brackets in Arithmetic Expression
par: Das, Kaushik
Publié: (2020)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
par: Bozkurt, Alper Kamil, et autres
Publié: (2020)

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
par: Chen, Yu, et autres
Publié: (2024)