Saved in:
| Main Authors: | Bajczi, Levente, Szekeres, Dániel, Siegl, Daniel, Molnár, Vince |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2409.15294 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Theta as a Horn Solver
by: Bajczi, Levente, et al.
Published: (2025)
by: Bajczi, Levente, et al.
Published: (2025)
CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
by: Dobos-Kovács, Mihály, et al.
Published: (2025)
by: Dobos-Kovács, Mihály, et al.
Published: (2025)
Exploring the Role of Automated Feedback in Programming Education: A Systematic Literature Review
by: Jung, Yeonji, et al.
Published: (2026)
by: Jung, Yeonji, et al.
Published: (2026)
Dean of LLM Tutors: Exploring Comprehensive and Automated Evaluation of LLM-generated Educational Feedback via LLM Feedback Evaluators
by: Qian, Keyang, et al.
Published: (2025)
by: Qian, Keyang, et al.
Published: (2025)
Lessons Learned from Designing an Open-Source Automated Feedback System for STEM Education
by: Steinert, Steffen, et al.
Published: (2024)
by: Steinert, Steffen, et al.
Published: (2024)
On the Transition to an Auction-based Intelligent Parking Assignment System
by: Alekszejenkó, Levente, et al.
Published: (2026)
by: Alekszejenkó, Levente, et al.
Published: (2026)
Humanizing Automated Programming Feedback: Fine-Tuning Generative Models with Student-Written Feedback
by: Pădurean, Victor-Alexandru, et al.
Published: (2025)
by: Pădurean, Victor-Alexandru, et al.
Published: (2025)
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
by: Somorjai, Márk, et al.
Published: (2024)
by: Somorjai, Márk, et al.
Published: (2024)
Correctness Comparison of ChatGPT-4, Gemini, Claude-3, and Copilot for Spatial Tasks
by: Hochmair, Hartwig H., et al.
Published: (2024)
by: Hochmair, Hartwig H., et al.
Published: (2024)
Automated Feedback in Math Education: A Comparative Analysis of LLMs for Open-Ended Responses
by: Baral, Sami, et al.
Published: (2024)
by: Baral, Sami, et al.
Published: (2024)
Enhancing Engagement and Learning in Computing Education: Automated Moodle-Based Problem-Solving Assessments
by: Jayasekara, Charith, et al.
Published: (2025)
by: Jayasekara, Charith, et al.
Published: (2025)
The Responsible Development of Automated Student Feedback with Generative AI
by: Lindsay, Euan D, et al.
Published: (2023)
by: Lindsay, Euan D, et al.
Published: (2023)
Blissful (A)Ignorance: People form overly positive impressions of others based on their written messages, despite wide-scale adoption of Generative AI
by: Zhu, Jiaqi, et al.
Published: (2025)
by: Zhu, Jiaqi, et al.
Published: (2025)
MedSimAI: Simulation and Formative Feedback Generation to Enhance Deliberate Practice in Medical Education
by: Hicke, Yann, et al.
Published: (2025)
by: Hicke, Yann, et al.
Published: (2025)
From Automation to Cognition: Redefining the Roles of Educators and Generative AI in Computing Education
by: Feng, Tony Haoran, et al.
Published: (2024)
by: Feng, Tony Haoran, et al.
Published: (2024)
Are Educational Escape Rooms More Effective Than Traditional Lectures for Teaching Software Engineering? A Randomized Controlled Trial
by: Gordillo, Aldo, et al.
Published: (2024)
by: Gordillo, Aldo, et al.
Published: (2024)
The cost of coordination can exceed the benefit of collaboration in performing complex tasks
by: Straub, Vince J., et al.
Published: (2020)
by: Straub, Vince J., et al.
Published: (2020)
Partnering with AI: A Pedagogical Feedback System for LLM Integration into Programming Education
by: Scholz, Niklas, et al.
Published: (2025)
by: Scholz, Niklas, et al.
Published: (2025)
ChatGPT as a mapping assistant: A novel method to enrich maps with generative AI and content derived from street-level photographs
by: Juhász, Levente, et al.
Published: (2023)
by: Juhász, Levente, et al.
Published: (2023)
A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation
by: Szekeres, Dániel, et al.
Published: (2024)
by: Szekeres, Dániel, et al.
Published: (2024)
How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool?
by: Kurniawan, Oka, et al.
Published: (2023)
by: Kurniawan, Oka, et al.
Published: (2023)
A Classification of Feedback Loops and Their Relation to Biases in Automated Decision-Making Systems
by: Pagan, Nicolò, et al.
Published: (2023)
by: Pagan, Nicolò, et al.
Published: (2023)
Automated Formative Feedback for Short-form Writing: An LLM-Driven Approach and Adoption Analysis
by: Tavares, Tiago Fernandes, et al.
Published: (2025)
by: Tavares, Tiago Fernandes, et al.
Published: (2025)
Leveraging Generative AI for Enhancing Automated Assessment in Programming Education Contests
by: Dascalescu, Stefan, et al.
Published: (2025)
by: Dascalescu, Stefan, et al.
Published: (2025)
Designing AI-Enabled Countermeasures to Cognitive Warfare
by: van Diggelen, Jurriaan, et al.
Published: (2025)
by: van Diggelen, Jurriaan, et al.
Published: (2025)
AI Agents and Education: Simulated Practice at Scale
by: Mollick, Ethan, et al.
Published: (2024)
by: Mollick, Ethan, et al.
Published: (2024)
Beyond Detection: Designing AI-Resilient Assessments with Automated Feedback Tool to Foster Critical Thinking
by: Akbar, Muhammad Sajjad
Published: (2025)
by: Akbar, Muhammad Sajjad
Published: (2025)
Enhancing Student Feedback Using Predictive Models in Visual Literacy Courses
by: Friedman, Alon, et al.
Published: (2024)
by: Friedman, Alon, et al.
Published: (2024)
Connecting Feedback to Choice: Understanding Educator Preferences in GenAI vs. Human-Created Lesson Plans in K-12 Education -- A Comparative Analysis
by: Sarkar, Shawon, et al.
Published: (2025)
by: Sarkar, Shawon, et al.
Published: (2025)
SCALEFeedback: A Large-Scale Dataset of Synthetic Computer Science Assignments for LLM-generated Educational Feedback Research
by: Qian, Keyang, et al.
Published: (2025)
by: Qian, Keyang, et al.
Published: (2025)
Open Educational Resources: Barriers and Open Issues
by: Valle, Pedro Henrique Dias, et al.
Published: (2026)
by: Valle, Pedro Henrique Dias, et al.
Published: (2026)
CodEv: An Automated Grading Framework Leveraging Large Language Models for Consistent and Constructive Feedback
by: Tseng, En-Qi, et al.
Published: (2025)
by: Tseng, En-Qi, et al.
Published: (2025)
Evaluating the Application of Large Language Models to Generate Feedback in Programming Education
by: Jacobs, Sven, et al.
Published: (2024)
by: Jacobs, Sven, et al.
Published: (2024)
Systematic Review of Academic Procrastination Interventions in Computing Higher Education
by: Cheng, Daniel, et al.
Published: (2026)
by: Cheng, Daniel, et al.
Published: (2026)
Learning and Motivational Impact of Game-Based Learning: Comparing Face-to-Face and Online Formats on Computer Science Education
by: López-Fernández, Daniel, et al.
Published: (2024)
by: López-Fernández, Daniel, et al.
Published: (2024)
Anonymization of Whole Slide Images in Histopathology for Research and Education
by: Bisson, Tom, et al.
Published: (2022)
by: Bisson, Tom, et al.
Published: (2022)
Enhancing LLM-Based Feedback: Insights from Intelligent Tutoring Systems and the Learning Sciences
by: Stamper, John, et al.
Published: (2024)
by: Stamper, John, et al.
Published: (2024)
Modeling Engagement Signals in Technology-Enhanced Collaborative Learning: Toward AI-Ready Feedback
by: Zhong, Joan
Published: (2025)
by: Zhong, Joan
Published: (2025)
EduIllustrate: Towards Scalable Automated Generation Of Multimodal Educational Content
by: Bi, Shuzhen, et al.
Published: (2026)
by: Bi, Shuzhen, et al.
Published: (2026)
ELMES: An Automated Framework for Evaluating Large Language Models in Educational Scenarios
by: Wei, Shou'ang, et al.
Published: (2025)
by: Wei, Shou'ang, et al.
Published: (2025)
Similar Items
-
Theta as a Horn Solver
by: Bajczi, Levente, et al.
Published: (2025) -
CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
by: Dobos-Kovács, Mihály, et al.
Published: (2025) -
Exploring the Role of Automated Feedback in Programming Education: A Systematic Literature Review
by: Jung, Yeonji, et al.
Published: (2026) -
Dean of LLM Tutors: Exploring Comprehensive and Automated Evaluation of LLM-generated Educational Feedback via LLM Feedback Evaluators
by: Qian, Keyang, et al.
Published: (2025) -
Lessons Learned from Designing an Open-Source Automated Feedback System for STEM Education
by: Steinert, Steffen, et al.
Published: (2024)