Evaluating adaptive and generative AI-based feedback and recommendations in a knowledge-graph-integrated programming learning system
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Nongkhai, Lalita Na, Wang, Jingyun, Wynn, Adam, Mendori, Takahiko |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
par: Nongkhai, Lalita Na, et autres
Publié: (2025)
par: Nongkhai, Lalita Na, et autres
Publié: (2025)
Evaluating the role of `Constitutions' for learning from AI feedback
par: Redgate, Saskia, et autres
Publié: (2024)
par: Redgate, Saskia, et autres
Publié: (2024)
Comparing large language models and human programmers for generating programming code
par: Hou, Wenpin, et autres
Publié: (2024)
par: Hou, Wenpin, et autres
Publié: (2024)
Towards representation agnostic probabilistic programming
par: Fenske, Ole, et autres
Publié: (2025)
par: Fenske, Ole, et autres
Publié: (2025)
ReFEree: Reference-Free and Fine-Grained Method for Evaluating Factual Consistency in Real-World Code Summarization
par: Bae, Suyoung, et autres
Publié: (2026)
par: Bae, Suyoung, et autres
Publié: (2026)
Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler
par: Absar, Javed, et autres
Publié: (2026)
par: Absar, Javed, et autres
Publié: (2026)
How secure is AI-generated Code: A Large-Scale Comparison of Large Language Models
par: Tihanyi, Norbert, et autres
Publié: (2024)
par: Tihanyi, Norbert, et autres
Publié: (2024)
Evaluating graph-based explanations for AI-based recommender systems
par: Delarue, Simon, et autres
Publié: (2024)
par: Delarue, Simon, et autres
Publié: (2024)
Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
par: Maddila, Chandra, et autres
Publié: (2025)
par: Maddila, Chandra, et autres
Publié: (2025)
Learning logic programs by discovering higher-order abstractions
par: Hocquette, Céline, et autres
Publié: (2023)
par: Hocquette, Céline, et autres
Publié: (2023)
Topic-to-essay generation with knowledge-based content selection
par: Wang, Jieyong, et autres
Publié: (2024)
par: Wang, Jieyong, et autres
Publié: (2024)
The why, what, and how of AI-based coding in scientific research
par: Zhuang, Tonghe, et autres
Publié: (2024)
par: Zhuang, Tonghe, et autres
Publié: (2024)
MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
par: Dantanarayana, Jayanaka L., et autres
Publié: (2024)
par: Dantanarayana, Jayanaka L., et autres
Publié: (2024)
DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data
par: Wang, Bin, et autres
Publié: (2024)
par: Wang, Bin, et autres
Publié: (2024)
Hexagon-MLIR: An AI Compilation Stack For Qualcomm's Neural Processing Units (NPUs)
par: Absar, Mohammed Javed, et autres
Publié: (2026)
par: Absar, Mohammed Javed, et autres
Publié: (2026)
A Compute-Matched Re-Evaluation of TroVE on MATH
par: Sesterhenn, Tobias, et autres
Publié: (2025)
par: Sesterhenn, Tobias, et autres
Publié: (2025)
GitChameleon 2.0: Evaluating AI Code Generation Against Python Library Version Incompatibilities
par: Misra, Diganta, et autres
Publié: (2025)
par: Misra, Diganta, et autres
Publié: (2025)
CatCode: A Comprehensive Evaluation Framework for LLMs On the Mixture of Code and Text
par: Lin, Zhenru, et autres
Publié: (2024)
par: Lin, Zhenru, et autres
Publié: (2024)
VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
par: Zeng, Lingfei, et autres
Publié: (2025)
par: Zeng, Lingfei, et autres
Publié: (2025)
From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
par: Cao, Jialun, et autres
Publié: (2025)
par: Cao, Jialun, et autres
Publié: (2025)
WatChat: Explaining perplexing programs by debugging mental models
par: Chandra, Kartik, et autres
Publié: (2024)
par: Chandra, Kartik, et autres
Publié: (2024)
A Behavior Tree-inspired programming language for autonomous agents
par: Biggar, Oliver, et autres
Publié: (2024)
par: Biggar, Oliver, et autres
Publié: (2024)
Towards LLM-based optimization compilers. Can LLMs learn how to apply a single peephole optimization? Reasoning is all LLMs need!
par: Fang, Xiangxin, et autres
Publié: (2024)
par: Fang, Xiangxin, et autres
Publié: (2024)
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
par: Rustenholz, Louis, et autres
Publié: (2024)
par: Rustenholz, Louis, et autres
Publié: (2024)
AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels
par: Zhu, Yifan, et autres
Publié: (2026)
par: Zhu, Yifan, et autres
Publié: (2026)
Humans can learn to detect AI-generated texts, or at least learn when they can't
par: Milička, Jiří, et autres
Publié: (2025)
par: Milička, Jiří, et autres
Publié: (2025)
Reinforcement learning for question answering in programming domain using public community scoring as a human feedback
par: Gorbatovski, Alexey, et autres
Publié: (2024)
par: Gorbatovski, Alexey, et autres
Publié: (2024)
AI-Mediated Code Comment Improvement
par: Dhakal, Maria, et autres
Publié: (2025)
par: Dhakal, Maria, et autres
Publié: (2025)
LTL learning on GPUs
par: Valizadeh, Mojtaba, et autres
Publié: (2024)
par: Valizadeh, Mojtaba, et autres
Publié: (2024)
An Evaluation Benchmark for Autoformalization in Lean4
par: Gulati, Aryan, et autres
Publié: (2024)
par: Gulati, Aryan, et autres
Publié: (2024)
Sequential composition of answer set programs
par: Antić, Christian
Publié: (2021)
par: Antić, Christian
Publié: (2021)
Green AI: Which Programming Language Consumes the Most?
par: Marini, Niccolò, et autres
Publié: (2024)
par: Marini, Niccolò, et autres
Publié: (2024)
dafny-annotator: AI-Assisted Verification of Dafny Programs
par: Poesia, Gabriel, et autres
Publié: (2024)
par: Poesia, Gabriel, et autres
Publié: (2024)
AI-Assisted Fixes to Code Review Comments at Scale
par: Maddila, Chandra, et autres
Publié: (2025)
par: Maddila, Chandra, et autres
Publié: (2025)
Pel, A Programming Language for Orchestrating AI Agents
par: Mohammadi, Behnam
Publié: (2025)
par: Mohammadi, Behnam
Publié: (2025)
Amplifying human performance in combinatorial competitive programming
par: Veličković, Petar, et autres
Publié: (2024)
par: Veličković, Petar, et autres
Publié: (2024)
SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
par: Tremante, Andrew, et autres
Publié: (2026)
par: Tremante, Andrew, et autres
Publié: (2026)
CodeMind: Evaluating Large Language Models for Code Reasoning
par: Liu, Changshu, et autres
Publié: (2024)
par: Liu, Changshu, et autres
Publié: (2024)
Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
par: Agarwal, Anmol, et autres
Publié: (2026)
par: Agarwal, Anmol, et autres
Publié: (2026)
AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
par: Xu, Shuyuan, et autres
Publié: (2024)
par: Xu, Shuyuan, et autres
Publié: (2024)
Documents similaires
-
Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
par: Nongkhai, Lalita Na, et autres
Publié: (2025) -
Evaluating the role of `Constitutions' for learning from AI feedback
par: Redgate, Saskia, et autres
Publié: (2024) -
Comparing large language models and human programmers for generating programming code
par: Hou, Wenpin, et autres
Publié: (2024) -
Towards representation agnostic probabilistic programming
par: Fenske, Ole, et autres
Publié: (2025) -
ReFEree: Reference-Free and Fine-Grained Method for Evaluating Factual Consistency in Real-World Code Summarization
par: Bae, Suyoung, et autres
Publié: (2026)