Cover Image

Fine-tuned LLM-based Code Migration Framework

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Grynets, Oleg, Lyashkevych, Vasyl, Baran, Dmytro, Orliansky, Maksym, Zelenyy, Taras, Leshchyshyn, Markiian
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Computation and Language Logic in Computer Science 68T07 (Primary), 03G99 (Secondary) D.2; F.3; I.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Unified Architecture Metamodel of Information Systems Developed by Generative AI
by: Grynets, Oleg, et al.
Published: (2026)

Token Optimization Strategies for LLM-Based Oracle-to-PostgreSQL Migration
by: Grynets, Oleg, et al.
Published: (2026)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

Redundancy rules for MaxSAT
by: Bonacina, Ilario, et al.
Published: (2025)

Flexible constraint satisfiability and a problem in semigroup theory
by: Jackson, Marcel
Published: (2015)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
by: Grotenhuis, Lide, et al.
Published: (2026)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

Deciding subspace reachability problems with application to Skolem's Problem
by: Everett, Samuel
Published: (2024)

Influence-Inspired Spectral Rotations for Extreme Low-Bit LLM Quantization
by: Pavlov, Gorgi
Published: (2026)

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
by: Grochow, Joshua A., et al.
Published: (2022)

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition
by: Lee, Hochang, et al.
Published: (2021)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
by: Wright, Craig Steven
Published: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
by: Rahnama, Moses
Published: (2025)

Informed deep hierarchical classification: a non-standard analysis inspired approach
by: Fiaschi, Lorenzo, et al.
Published: (2024)

On Halting vs Converging in Recurrent Graph Neural Networks
by: Bollen, Jeroen, et al.
Published: (2026)

The Attribution Impossibility: No Feature Ranking Is Faithful, Stable, and Complete Under Collinearity
by: Caraker, Drake, et al.
Published: (2026)

Faithful Logic Embeddings in HOL -- Deep and Shallow
by: Benzmüller, Christoph
Published: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
by: Benzmüller, Christoph, et al.
Published: (2026)

Proof complexity of universal algebra in a CSP dichotomy proof
by: Gaysin, Azza
Published: (2024)

A novel framework for systematic propositional formula simplification based on existential graphs
by: de Mas, Jordina Francès, et al.
Published: (2024)

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
by: Drechsler, Rolf
Published: (2025)

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction
by: Mei, Wei, et al.
Published: (2021)

Intersection Types via Finite-Set Declarations
by: Kamareddine, Fairouz, et al.
Published: (2024)

Propositional Measure Logic
by: Aragão, Francisco
Published: (2025)

A foundational characterization of Hoare Logic
by: Leivant, Daniel
Published: (2026)

Are Targeted Messages More Effective?
by: Grohe, Martin, et al.
Published: (2024)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
by: Park, Sewon, et al.
Published: (2016)

Mechanised uniform interpolation for modal logics K, GL, and iSL
by: Férée, Hugo, et al.
Published: (2024)

From categorized neural architectures to subexponential proof theory
by: Ovalle, Carlos Ramírez
Published: (2026)

Rewriting Consistent Answers on Annotated Data
by: Kolaitis, Phokion G., et al.
Published: (2024)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

The Fractal Logic of Phi-adic Recursion
by: Rosko, Milan
Published: (2025)

Reversible computations are computations
by: Aubert, Clément, et al.
Published: (2025)

Logical Modalities within the European AI Act: An Analysis
by: Lawniczak, Lara, et al.
Published: (2025)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

Domain size asymptotics for Markov logic networks
by: Koponen, Vera
Published: (2025)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
by: Santo, José Espírito, et al.
Published: (2020)

Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms
by: Kratsios, Anastasis, et al.
Published: (2025)