Imagen de Portada

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

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autor principal:	Prasad, Siddhartha Arjun
Formato:	Recurso digital
Publicado:	Zenodo 2025
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Misconception Diagnosis From Student-Tutor Dialogue: Generate, Retrieve, Rerank
por: Mitton, Joshua, et al.
Publicado: (2026)

EDGE: A Theoretical Framework for Misconception-Aware Adaptive Learning
por: Verma, Ananda Prakash
Publicado: (2025)

Efficient Normalization of Linear Temporal Logic
por: Esparza, Javier, et al.
Publicado: (2023)

Automated Identification of Logical Errors in Programs: Advancing Scalable Analysis of Student Misconceptions
por: Hoq, Muntasir, et al.
Publicado: (2025)

A Linear Temporal Logic of Frequencies on Series of Events
por: Antonelli, Melissa, et al.
Publicado: (2026)

Linear Temporal Justification Logics with Past Operators
por: Ghari, Meghdad
Publicado: (2018)

ProPACT: A Proactive AI-Driven Adaptive Collaborative Tutor for Pair Programming
por: Golrang, Anahita, et al.
Publicado: (2026)

Myths, Misconceptions and Management.
por: Koenig, Michael E. D., et al.
Publicado: (1984)

Epigenetics—Innovations and Misconceptions
por: Bernhard Horsthemke
Publicado: (2026)

Model Checking Linear Temporal Logic with Standpoint Modalities
por: Aghamov, Rajab, et al.
Publicado: (2025)

Diverse Planning with Simulators via Linear Temporal Logic
por: Abdelwahed, Mustafa F., et al.
Publicado: (2025)

Pointwise-in-Time Explanation for Linear Temporal Logic Rules
por: Brindise, Noel, et al.
Publicado: (2023)

Semantics for Linear-time Temporal Logic with Finite Observations
por: Amjad, Rayhana, et al.
Publicado: (2024)

ArtifactLinker: Linking Scientific Artifacts for Automatic State-of-the-Art Discovery
por: Yu, Haofei, et al.
Publicado: (2026)

Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
por: Bozkurt, Alper Kamil, et al.
Publicado: (2025)

Directed Exploration in Reinforcement Learning from Linear Temporal Logic
por: Bagatella, Marco, et al.
Publicado: (2024)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
por: Artale, Alessandro, et al.
Publicado: (2022)

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
por: Raha, Ritam, et al.
Publicado: (2021)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
por: Qi, Shuhao, et al.
Publicado: (2024)

Misconceptions about the Big Bang
Publicado: (2005)

Efficient Artifacts Removal for Adaptive Deep Brain Stimulation and a Temporal Event Localization Analysis
por: Liu, Tzu-Chi, et al.
Publicado: (2025)

Towards Educator-Driven Tutor Authoring: Generative AI Approaches for Creating Intelligent Tutor Interfaces
por: Calo, Tommaso, et al.
Publicado: (2024)

Data-Driven Hints in Intelligent Tutoring Systems
por: Tithi, Sutapa Dey, et al.
Publicado: (2026)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
por: Yu, Pian, et al.
Publicado: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
por: Ren, Wei, et al.
Publicado: (2024)

Hierarchical Reasoning Models: Perspectives and Misconceptions
por: Ge, Renee, et al.
Publicado: (2025)

Misconceptions and Open Issues in Energetic Materials
por: Didier Mathieu, et al.
Publicado: (2025)

Student Misconceptions and Errors in Physics and Mathematics
por: Neidorf, Teresa, et al.
Publicado: (2020)

On Common Misconceptions in Classical Vehicle Dynamics
por: Guiggiani, Massimo
Publicado: (2026)

Demystifying Misconceptions in Social Bots Research
por: Cresci, Stefano, et al.
Publicado: (2023)

Misconceptions about corporal punishment in Islam
por: Mohammed Shafiq, et al.
Publicado: (2024)

Synthetic Control Misconceptions: Recommendations for Practice
por: Pickett, Robert, et al.
Publicado: (2026)

QAL-Check: Quantum Alignment Logic Model Checker (Artifact)
por: Anonymous
Publicado: (2026)

SLOW: Strategic Logical-inference Open Workspace for Cognitive Adaptation in AI Tutoring
por: Wei, Yuang, et al.
Publicado: (2026)

A Study on Misconception of Using Brackets in Arithmetic Expression
por: Das, Kaushik
Publicado: (2020)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
por: Bozkurt, Alper Kamil, et al.
Publicado: (2020)

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
por: Chen, Yu, et al.
Publicado: (2024)