Copertina

Neural Task Synthesis for Visual Programming

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Pădurean, Victor-Alexandru, Tzannetos, Georgios, Singla, Adish
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Machine Learning Artificial Intelligence Computation and Language Computers and Society Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Prompt Programming: A Platform for Dialogue-based Computational Problem Solving with Generative AI Models
di: Pădurean, Victor-Alexandru, et al.
Pubblicazione: (2025)

Synthesizing High-Quality Programming Tasks with LLM-based Expert and Student Agents
di: Nguyen, Manh Hung, et al.
Pubblicazione: (2025)

Proximal Curriculum with Task Correlations for Deep Reinforcement Learning
di: Tzannetos, Georgios, et al.
Pubblicazione: (2024)

Benchmarking Generative Models on Computational Thinking Tests in Elementary Visual Programming
di: Pădurean, Victor-Alexandru, et al.
Pubblicazione: (2024)

Learning Embeddings for Sequential Tasks Using Population of Agents
di: Mahajan, Mridul, et al.
Pubblicazione: (2023)

Large Language Models for In-Context Student Modeling: Synthesizing Student's Behavior in Visual Programming
di: Nguyen, Manh Hung, et al.
Pubblicazione: (2023)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
di: Shen, Chen, et al.
Pubblicazione: (2026)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Towards Generalizable Agents in Text-Based Educational Environments: A Study of Integrating RL with LLMs
di: Radmehr, Bahar, et al.
Pubblicazione: (2024)

Emergent Representations of Program Semantics in Language Models Trained on Programs
di: Jin, Charles, et al.
Pubblicazione: (2023)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
di: Xu, Shuyuan, et al.
Pubblicazione: (2024)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
di: Dong, Honghua, et al.
Pubblicazione: (2024)

Evaluating Multimodal Language Models as Visual Assistants for Visually Impaired Users
di: Karamolegkou, Antonia, et al.
Pubblicazione: (2025)

KASER: Knowledge-Aligned Student Error Simulator for Open-Ended Coding Tasks
di: Duan, Zhangqi, et al.
Pubblicazione: (2026)

Improving Low-Resource Knowledge Tracing Tasks by Supervised Pre-training and Importance Mechanism Fine-tuning
di: Zhang, Hengyuan, et al.
Pubblicazione: (2024)

Multimodal Assessment of Classroom Discourse Quality: A Text-Centered Attention-Based Multi-Task Learning Approach
di: Hou, Ruikun, et al.
Pubblicazione: (2025)

MateInfoUB: A Real-World Benchmark for Testing LLMs in Competitive, Multilingual, and Multimodal Educational Tasks
di: Marius, Dumitran Adrian, et al.
Pubblicazione: (2025)

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
di: Zhang, Dylan, et al.
Pubblicazione: (2024)

Mind Your Step (by Step): Chain-of-Thought can Reduce Performance on Tasks where Thinking Makes Humans Worse
di: Liu, Ryan, et al.
Pubblicazione: (2024)

Adapting Mental Health Prediction Tasks for Cross-lingual Learning via Meta-Training and In-context Learning with Large Language Model
di: Lifelo, Zita, et al.
Pubblicazione: (2024)

Cleansing Jewel: A Neural Spelling Correction Model Built On Google OCR-ed Tibetan Manuscripts
di: Luo, Queenie, et al.
Pubblicazione: (2023)

Thinking Outside the (Gray) Box: A Context-Based Score for Assessing Value and Originality in Neural Text Generation
di: Franceschelli, Giorgio, et al.
Pubblicazione: (2025)

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

Is Programming by Example solved by LLMs?
di: Li, Wen-Ding, et al.
Pubblicazione: (2024)

Transcoders Trace Visual Grounding and Hallucinations in Vision-Language Models
di: Damianos, Dimitrios, et al.
Pubblicazione: (2026)

Beyond the Training Distribution: Mapping Generalization Boundaries in Neural Program Synthesis
di: Voigt, Henrik, et al.
Pubblicazione: (2026)

ReGAL: Refactoring Programs to Discover Generalizable Abstractions
di: Stengel-Eskin, Elias, et al.
Pubblicazione: (2024)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
di: Tsoukalas, George, et al.
Pubblicazione: (2024)

Enhancing Programming Education with ChatGPT: A Case Study on Student Perceptions and Interactions in a Python Course
di: Ma, Boxaun, et al.
Pubblicazione: (2024)

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

Towards Best Practices for Open Datasets for LLM Training
di: Baack, Stefan, et al.
Pubblicazione: (2025)

LILO: Learning Interpretable Libraries by Compressing and Documenting Code
di: Grand, Gabriel, et al.
Pubblicazione: (2023)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
di: Ravi, Nikil, et al.
Pubblicazione: (2026)

Quantifying the Importance of Data Alignment in Downstream Model Performance
di: Chawla, Krrish, et al.
Pubblicazione: (2025)

Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization
di: Chan, Willy, et al.
Pubblicazione: (2025)

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
di: Barone, Antonio Valerio Miceli, et al.
Pubblicazione: (2026)

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

Code Simulation Challenges for Large Language Models
di: La Malfa, Emanuele, et al.
Pubblicazione: (2024)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
di: Wei, Anjiang, et al.
Pubblicazione: (2025)