Copertina

DeepLL: Considering Linear Logic for the Analysis of Deep Learning Experiments

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Papoulias, Nick
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Artificial Intelligence Computation and Language Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Reinforcement Learning from Compiler and Language Server Feedback
di: Zhang, Yifan, et al.
Pubblicazione: (2025)

LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT
di: Xu, Zhenyu, et al.
Pubblicazione: (2024)

Introduction to Analytical Software Engineering Design Paradigm
di: Houichime, Tarik, et al.
Pubblicazione: (2025)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
di: Zhang, William, et al.
Pubblicazione: (2024)

PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
di: Peng, Yun, et al.
Pubblicazione: (2024)

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

PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
di: Chen, Simin, et al.
Pubblicazione: (2024)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
di: Tang, Hao, et al.
Pubblicazione: (2024)

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

From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
di: Shi, Yuling, et al.
Pubblicazione: (2024)

LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
di: Wang, Ming, et al.
Pubblicazione: (2024)

A Survey of Neural Code Intelligence: Paradigms, Advances and Beyond
di: Sun, Qiushi, et al.
Pubblicazione: (2024)

MoSE: Hierarchical Self-Distillation Enhances Early Layer Embeddings
di: Gurioli, Andrea, et al.
Pubblicazione: (2025)

VisCoder2: Building Multi-Language Visualization Coding Agents
di: Ni, Yuansheng, et al.
Pubblicazione: (2025)

Code Broker: A Multi-Agent System for Automated Code Quality Assessment
di: Attrah, Samer
Pubblicazione: (2026)

LLMs Lean on Priors, Not Programming Language Semantics
di: Thimmaiah, Aditya, et al.
Pubblicazione: (2025)

Refactoring Programs Using Large Language Models with Few-Shot Examples
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)

Ranking LLM-Generated Loop Invariants for Program Verification
di: Chakraborty, Saikat, et al.
Pubblicazione: (2023)

A Taxonomy of Prompt Defects in LLM Systems
di: Tian, Haoye, et al.
Pubblicazione: (2025)

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

debug-gym: A Text-Based Environment for Interactive Debugging
di: Yuan, Xingdi, et al.
Pubblicazione: (2025)

Is Self-Repair a Silver Bullet for Code Generation?
di: Olausson, Theo X., et al.
Pubblicazione: (2023)

AutoCode: LLMs as Problem Setters for Competitive Programming
di: Zhou, Shang, et al.
Pubblicazione: (2025)

Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models
di: Esmaeili, Amirreza, et al.
Pubblicazione: (2025)

Comprehensive Analysis of Transparency and Accessibility of ChatGPT, DeepSeek, And other SoTA Large Language Models
di: Sapkota, Ranjan, et al.
Pubblicazione: (2025)

SuperCoder: Assembly Program Superoptimization with Large Language Models
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines
di: Trofimova, Ekaterina, et al.
Pubblicazione: (2024)

Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis
di: Mitchell, Jacqueline L., et al.
Pubblicazione: (2026)

$\textbf{PLUM}$: Improving Code LMs with Execution-Guided On-Policy Preference Learning Driven By Synthetic Test Cases
di: Zhang, Dylan, et al.
Pubblicazione: (2024)

Evaluating the Performance of Large Language Models in Competitive Programming: A Multi-Year, Multi-Grade Analysis
di: Dumitran, Adrian Marius, et al.
Pubblicazione: (2024)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
di: Zhou, Tianyang, et al.
Pubblicazione: (2025)

SLMFix: Leveraging Small Language Models for Error Fixing with Reinforcement Learning
di: Fu, David Jiahao, et al.
Pubblicazione: (2025)

AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
di: Zenkner, Janis, et al.
Pubblicazione: (2024)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
di: Huang, Zhechong, et al.
Pubblicazione: (2025)

Real-Time Performance Optimization of Travel Reservation Systems Using AI and Microservices
di: Barua, Biman, et al.
Pubblicazione: (2024)

Benchmarking LLM for Code Smells Detection: OpenAI GPT-4.0 vs DeepSeek-V3
di: Sadik, Ahmed R., et al.
Pubblicazione: (2025)

Code-Vision: Evaluating Multimodal LLMs Logic Understanding and Code Generation Capabilities
di: Wang, Hanbin, et al.
Pubblicazione: (2025)

Utilizing Deep Learning to Optimize Software Development Processes
di: Li, Keqin, et al.
Pubblicazione: (2024)

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

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