:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Prasad, Siddhartha Arjun
Format:	Recurso digital
Language:
Published:	Zenodo 2025
Online Access:	https://doi.org/10.5281/zenodo.15336533
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

Linear Temporal Justification Logics with Past Operators
by: Ghari, Meghdad
Published: (2018)

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

Epigenetics—Innovations and Misconceptions
by: Bernhard Horsthemke
Published: (2026)

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

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

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

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

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

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

Misconceptions about the Big Bang
Published: (2005)

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

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

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

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

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

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

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

NepEMO: A Multi-Label Emotion and Sentiment Analysis on Nepali Reddit with Linguistic Insights and Temporal Trends
by: Sitoula, Sameer, et al.
Published: (2025)

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

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

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

On Common Misconceptions in Classical Vehicle Dynamics
by: Guiggiani, Massimo
Published: (2026)

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

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

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

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

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

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

QAL-Check: Quantum Alignment Logic Model Checker (Artifact)
by: Anonymous
Published: (2026)

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

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

Adaptive Scaffolding for Cognitive Engagement in an Intelligent Tutoring System
by: Tithi, Sutapa Dey, et al.
Published: (2026)