:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Nongkhai, Lalita Na, Wang, Jingyun, Wynn, Adam, Mendori, Takahiko
Format:	Preprint
Published:	2026
Subjects:	Programming Languages Artificial Intelligence
Online Access:	https://arxiv.org/abs/2603.24940
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
by: Nongkhai, Lalita Na, et al.
Published: (2025)

Evaluating the role of `Constitutions' for learning from AI feedback
by: Redgate, Saskia, et al.
Published: (2024)

Comparing large language models and human programmers for generating programming code
by: Hou, Wenpin, et al.
Published: (2024)

Towards representation agnostic probabilistic programming
by: Fenske, Ole, et al.
Published: (2025)

ReFEree: Reference-Free and Fine-Grained Method for Evaluating Factual Consistency in Real-World Code Summarization
by: Bae, Suyoung, et al.
Published: (2026)

Evaluating graph-based explanations for AI-based recommender systems
by: Delarue, Simon, et al.
Published: (2024)

Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler
by: Absar, Javed, et al.
Published: (2026)

How secure is AI-generated Code: A Large-Scale Comparison of Large Language Models
by: Tihanyi, Norbert, et al.
Published: (2024)

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
by: Maddila, Chandra, et al.
Published: (2025)

Topic-to-essay generation with knowledge-based content selection
by: Wang, Jieyong, et al.
Published: (2024)

Learning logic programs by discovering higher-order abstractions
by: Hocquette, Céline, et al.
Published: (2023)

The why, what, and how of AI-based coding in scientific research
by: Zhuang, Tonghe, et al.
Published: (2024)

WatChat: Explaining perplexing programs by debugging mental models
by: Chandra, Kartik, et al.
Published: (2024)

A Behavior Tree-inspired programming language for autonomous agents
by: Biggar, Oliver, et al.
Published: (2024)

GitChameleon 2.0: Evaluating AI Code Generation Against Python Library Version Incompatibilities
by: Misra, Diganta, et al.
Published: (2025)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
by: Dantanarayana, Jayanaka L., et al.
Published: (2024)

A Compute-Matched Re-Evaluation of TroVE on MATH
by: Sesterhenn, Tobias, et al.
Published: (2025)

DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data
by: Wang, Bin, et al.
Published: (2024)

Hexagon-MLIR: An AI Compilation Stack For Qualcomm's Neural Processing Units (NPUs)
by: Absar, Mohammed Javed, et al.
Published: (2026)

Reinforcement learning for question answering in programming domain using public community scoring as a human feedback
by: Gorbatovski, Alexey, et al.
Published: (2024)

CatCode: A Comprehensive Evaluation Framework for LLMs On the Mixture of Code and Text
by: Lin, Zhenru, et al.
Published: (2024)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
by: Cao, Jialun, et al.
Published: (2025)

VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code
by: Zeng, Lingfei, et al.
Published: (2025)

Sequential composition of answer set programs
by: Antić, Christian
Published: (2021)

Towards LLM-based optimization compilers. Can LLMs learn how to apply a single peephole optimization? Reasoning is all LLMs need!
by: Fang, Xiangxin, et al.
Published: (2024)

Humans can learn to detect AI-generated texts, or at least learn when they can't
by: Milička, Jiří, et al.
Published: (2025)

Amplifying human performance in combinatorial competitive programming
by: Veličković, Petar, et al.
Published: (2024)

LTL learning on GPUs
by: Valizadeh, Mojtaba, et al.
Published: (2024)

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels
by: Zhu, Yifan, et al.
Published: (2026)

An Evaluation Benchmark for Autoformalization in Lean4
by: Gulati, Aryan, et al.
Published: (2024)

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
by: Rustenholz, Louis, et al.
Published: (2024)

AI-Mediated Code Comment Improvement
by: Dhakal, Maria, et al.
Published: (2025)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
by: Tremante, Andrew, et al.
Published: (2026)

Investigating the performance of Retrieval-Augmented Generation and fine-tuning for the development of AI-driven knowledge-based systems
by: Lakatos, Robert, et al.
Published: (2024)

CodeMind: Evaluating Large Language Models for Code Reasoning
by: Liu, Changshu, et al.
Published: (2024)

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
by: Agarwal, Anmol, et al.
Published: (2026)

EffiPair: Improving the Efficiency of LLM-generated Code with Relative Contrastive Feedback
by: Hajizadeh, Samira, et al.
Published: (2026)

Green AI: Which Programming Language Consumes the Most?
by: Marini, Niccolò, et al.
Published: (2024)

dafny-annotator: AI-Assisted Verification of Dafny Programs
by: Poesia, Gabriel, et al.
Published: (2024)

AI-Assisted Fixes to Code Review Comments at Scale
by: Maddila, Chandra, et al.
Published: (2025)