:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Donyina, Adwoa, Heckel, Reiko
Format:	Preprint
Published:	2025
Subjects:	Programming Languages G.2.2
Online Access:	https://arxiv.org/abs/2503.20469
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evaluating the Limitations of Local LLMs in Solving Complex Programming Challenges
by: Matotek, Kadin, et al.
Published: (2025)

Drawing Reeb Graphs
by: Chambers, Erin, et al.
Published: (2025)

New Results on Edge-coloring and Total-coloring of Split Graphs
by: Couto, Fernanda, et al.
Published: (2023)

Graph Threading
by: Demaine, Erik D., et al.
Published: (2023)

LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
by: Fakih, Mohamad, et al.
Published: (2024)

The characteristic polynomials of $r$-uniform hypercycles with length $l$
by: Bo, Dong, et al.
Published: (2025)

Amortizing Pragmatic Program Synthesis with Rankings
by: Pu, Yewen, et al.
Published: (2023)

Simpler and Unified Recognition Algorithm for Path Graphs and Directed Path Graphs
by: Balzotti, Lorenzo
Published: (2020)

Leveraging Test Driven Development with Large Language Models for Reliable and Verifiable Spreadsheet Code Generation: A Research Framework
by: Thorne, Simon, et al.
Published: (2025)

On a Generalization of the Christoffel Tree: Epichristoffel Trees
by: Krishnamoorthy, Abhishek, et al.
Published: (2025)

Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs
by: Büngener, Aaron, et al.
Published: (2024)

Near-Linear Time Computation of Welzl Orders on Graphs with Linear Neighborhood Complexity
by: Dreier, Jan, et al.
Published: (2026)

A Machine Learning Approach Towards SKILL Code Autocompletion
by: Dehaerne, Enrique, et al.
Published: (2023)

Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
by: Knop, Dušan, et al.
Published: (2017)

Graph Threading with Turn Costs
by: Demaine, Erik D., et al.
Published: (2024)

Graph Coloring for Multi-Task Learning
by: Patapati, Santosh
Published: (2025)

On the Min-Max Star Partitioning Number
by: Feldmann, Sarah, et al.
Published: (2024)

Binary Stretch Embedding of Weighted Graphs
by: Ebrahimi, Javad B., et al.
Published: (2024)

Faster shortest-path algorithms using the acyclic-connected tree
by: Stefansson, Elis, et al.
Published: (2025)

Complexity of Firefighting on Graphs
by: Althoetmar, Julius, et al.
Published: (2025)

Optimizing Job Allocation using Reinforcement Learning with Graph Neural Networks
by: Quaedvlieg, Lars C. P. M.
Published: (2025)

The Spanning Ratio of the Directed $Θ_6$-Graph is 5
by: Bose, Prosenjit, et al.
Published: (2026)

Block-weighted random graphs: planar and beyond
by: Kang, Mihyun, et al.
Published: (2026)

Asymptotic Transfer in Critical Recursive Composition Schemes
by: Drmota, Michael, et al.
Published: (2026)

Breaking the Symmetries of Amenable Graphs
by: Cheng, Christine T.
Published: (2025)

Drift and selection in LLM text ecosystems
by: Riis, Søren
Published: (2026)

Benders Cut Filtering for Affine Potential-Based Flow Problems with Robustness Scenarios and Topology Switching
by: Donkiewicz, Tim, et al.
Published: (2026)

AI Coding Agents Need Better Compiler Remarks
by: Deo, Akash, et al.
Published: (2026)

Exact Values and Bounds for Ramsey Numbers of $C_4$ Versus a Star Graph
by: Boza, Luis
Published: (2024)

An O(log n)-Approximation Algorithm for (p,q)-Flexible Graph Connectivity via Independent Rounding
by: Ibrahimpur, Sharat, et al.
Published: (2025)

On the Confluence of Directed Graph Reductions Preserving Feedback Vertex Set Minimality
by: Abdenbi, Moussa, et al.
Published: (2024)

On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
by: Burgess, Mark
Published: (2025)

On the Uncrossed Number of Graphs
by: Balko, Martin, et al.
Published: (2024)

On (Random-order) Online Contention Resolution Schemes for the Matching Polytope of (Bipartite) Graphs
by: MacRury, Calum, et al.
Published: (2022)

LIPPEN: A Lightweight In-Place Pointer Encryption Architecture for Pointer Integrity
by: Iravani, Erfan, et al.
Published: (2026)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
by: Wienczkowski, Michael
Published: (2026)

Graph Configurations and Independent Bondage Numbers of Planar Graphs
by: Gamlath, E. G. K. M., et al.
Published: (2024)

Graph Parameters, Universal Obstructions, and WQO
by: Paul, Christophe, et al.
Published: (2023)

Speeding-up Graph Algorithms via Clique Partitioning
by: Chavan, Akshar, et al.
Published: (2025)

An Upper Bound for the Double Domination Number in Maximal Outerplanar Graphs
by: Araki, Toru
Published: (2026)