Image de couverture de livre

Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Yihan, Pientka, Brigitte, Si, Xujie
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
par: Geng, Chuqin, et autres
Publié: (2024)

Modernizing SMT-Based Type Error Localization
par: Kopinsky, Max, et autres
Publié: (2024)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
par: Jang, Junyoung, et autres
Publié: (2024)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
par: Hu, Jason Z. S., et autres
Publié: (2024)

Layered Modal Type Theories
par: Hu, Jason Z. S., et autres
Publié: (2023)

Message-Observing Sessions
par: Kavanagh, Ryan, et autres
Publié: (2024)

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
par: Bayazıt, Barış, et autres
Publié: (2025)

Towards Repository-Level Program Verification with Large Language Models
par: Zhong, Si Cheng, et autres
Publié: (2025)

Adjoint Natural Deduction (Extended Version)
par: Jang, Junyoung, et autres
Publié: (2024)

Deconstructed Proto-Quipper: A Rational Reconstruction
par: Kavanagh, Ryan, et autres
Publié: (2025)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
par: Dong, Honghua, et autres
Publié: (2024)

A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses
par: Torbunova, Alina, et autres
Publié: (2024)

Functional Python Programming in Introductory Computer Science Courses
par: Sunderraman, Rajshekhar
Publié: (2025)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
par: Luo, Ziyan, et autres
Publié: (2023)

Learning Minimal Neural Specifications
par: Geng, Chuqin, et autres
Publié: (2024)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
par: Tang, Hao, et autres
Publié: (2024)

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
par: Le-Cong, Thanh, et autres
Publié: (2025)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
par: Dong, Honghua, 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)

Visualizing the Evaluation of Functional Programs for Debugging
par: Whitington, John, et autres
Publié: (2024)

Generation of Programming Exam Question and Answer Using ChatGPT Based on Prompt Engineering
par: Si, Jongwook, et autres
Publié: (2026)

Finite Functional Programming
par: Arntzenius, Michael, et autres
Publié: (2026)

Enhancing Programming Education with ChatGPT: A Case Study on Student Perceptions and Interactions in a Python Course
par: Ma, Boxaun, et autres
Publié: (2024)

A Monadic Implementation of Functional Logic Programs
par: Hanus, Michael, et autres
Publié: (2026)

Functional Logic Program Transformations
par: Hanus, Michael, et autres
Publié: (2026)

Reactive Programming without Functions
par: Oeyen, Bjarno, et autres
Publié: (2024)

Debugging Functional Programs by Interpretation
par: Whitington, John
Publié: (2024)

Structured Prompt Language: Declarative Context Management for LLMs
par: Gong, Wen G.
Publié: (2026)

Functional Programming in Learning Electromagnetic Theory
par: Walck, Scott N.
Publié: (2024)

Functional Reactive Programming with Effects, A More Permissive Approach
par: Dabrowski, Frédéric, et autres
Publié: (2025)

LLMs Lean on Priors, Not Programming Language Semantics
par: Thimmaiah, Aditya, et autres
Publié: (2025)

Partial Evaluation, Whole-Program Compilation
par: Fallin, Chris, et autres
Publié: (2024)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
par: Li, Feifei, et autres
Publié: (2026)

Automatic Generation of Python Programs Using Context-Free Grammars
par: Yamani, Kamel, et autres
Publié: (2024)

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
par: Chang, Stephen
Publié: (2024)

Strengthening Programming Comprehension in Large Language Models through Code Generation
par: Ren, Xiaoning, et autres
Publié: (2025)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
par: Sultan, Oren, et autres
Publié: (2026)

Proving Functional Program Equivalence via Directed Lemma Synthesis
par: Sun, Yican, et autres
Publié: (2024)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
par: Böhler, Timon, et autres
Publié: (2026)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
par: Bagrel, Thomas
Publié: (2026)