:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Grynets, Oleg, Lyashkevych, Vasyl
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Artificial Intelligence Logic in Computer Science 68T07 (Primary), 03G99 (Secondary) C.5; D.2; E.4; F.2; F.3; F.4; H.1; H.4; H.5; J.1
Online Access:	https://arxiv.org/abs/2604.00171
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fine-tuned LLM-based Code Migration Framework
by: Grynets, Oleg, et al.
Published: (2025)

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

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

Multimodal AI-based visualization of strategic leaders' emotional dynamics: a deep behavioral analysis of Trump's trade war discourse
by: Meng, Wei
Published: (2025)

Planning with Dynamically Changing Domains
by: Soutchanski, Mikhail, et al.
Published: (2025)

A correspondence between the time and space complexity
by: Latkin, Ivan V.
Published: (2023)

An Expressive Trace Logic for Recursive Programs
by: Gurov, Dilian, et al.
Published: (2024)

Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
by: Figueira, Santiago, et al.
Published: (2023)

Inclusion with repetitions and Boolean constants -- implication problems revisited
by: Häggblom, Matilda
Published: (2025)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
by: Bacik, Piotr, et al.
Published: (2026)

CANAL -- Cyber Activity News Alerting Language Model: Empirical Approach vs. Expensive LLM
by: Patel, Urjitkumar, et al.
Published: (2024)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
by: Bruse, Florian, et al.
Published: (2026)

FANAL -- Financial Activity News Alerting Language Modeling Framework
by: Patel, Urjitkumar, et al.
Published: (2024)

Multiset semantics in SPARQL, Relational Algebra and Datalog
by: Angles, Renzo, et al.
Published: (2026)

Paraconsistent logic and query answering in inconsistent databases
by: Middelburg, C. A.
Published: (2022)

Belnap-Dunn logic and query answering in inconsistent databases with null values
by: Middelburg, C. A.
Published: (2023)

Determination of the fifth Busy Beaver value
by: The bbchallenge Collaboration, et al.
Published: (2025)

Security Science (SecSci), Basic Concepts and Mathematical Foundations
by: Pavlovic, Dusko, et al.
Published: (2025)

A Formalization of the Generalized Quantum Stein's Lemma in Lean
by: Meiburg, Alex, et al.
Published: (2025)

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

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

XML Prompting as Grammar-Constrained Interaction: Fixed-Point Semantics, Convergence Guarantees, and Human-AI Protocols
by: Alpay, Faruk, et al.
Published: (2025)

Light Cone Consistency: Toward a Unified Theory of Consistency in Message-Passing Systems
by: Landers, Rob, et al.
Published: (2026)

Greedy Poisson Rejection Sampling
by: Flamich, Gergely
Published: (2023)

From Code to Compliance: Assessing ChatGPT's Utility in Designing an Accessible Webpage -- A Case Study
by: Ahmed, Ammar, et al.
Published: (2025)

Computability of the Hahn-Banach Theorem Revisited
by: Brattka, Vasco, et al.
Published: (2026)

Compositional Separation of Control Flow and Data Flow
by: Arellanes, Damian
Published: (2023)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
by: Mammadov, Tural, et al.
Published: (2024)

A Lopez-Escobar Theorem for Continuous Domains
by: Bazhenov, Nikolay, et al.
Published: (2023)

Forcing as a Local Method of Accessing Small Extensions
by: Lau, Desmond
Published: (2024)

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)

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

Comparing Personalized Relevance Algorithms for Directed Graphs
by: Cavalcanti, Luca, et al.
Published: (2024)

Simulation of Non-Ordinary Consciousness
by: Saqr, Khalid M.
Published: (2025)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
by: Farmer, William M., et al.
Published: (2023)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
by: Nakano, Keisuke, et al.
Published: (2024)

AI Literacy and LLM Engagement in Higher Education: A Cross-National Quantitative Study
by: Hossain, Shahin, et al.
Published: (2025)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
by: Jaakkola, Reijo, et al.
Published: (2024)