:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Grynets, Oleg, Lyashkevych, Vasyl, Baran, Dmytro, Orliansky, Maksym, Zelenyy, Taras, Leshchyshyn, Markiian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Computation and Language Logic in Computer Science 68T07 (Primary), 03G99 (Secondary) D.2; F.3; I.2
Online-Zugang:	https://arxiv.org/abs/2512.13515
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Token Optimization Strategies for LLM-Based Oracle-to-PostgreSQL Migration
von: Grynets, Oleg, et al.
Veröffentlicht: (2026)

Refutability as Recursive as Provability
von: Cattabriga, Paola
Veröffentlicht: (2024)

Flexible constraint satisfiability and a problem in semigroup theory
von: Jackson, Marcel
Veröffentlicht: (2015)

Redundancy rules for MaxSAT
von: Bonacina, Ilario, et al.
Veröffentlicht: (2025)

Provability in BI's Sequent Calculus is Decidable
von: Gheorghiu, Alexander, et al.
Veröffentlicht: (2021)

Deciding subspace reachability problems with application to Skolem's Problem
von: Everett, Samuel
Veröffentlicht: (2024)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
von: Grotenhuis, Lide, et al.
Veröffentlicht: (2026)

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
von: Grochow, Joshua A., et al.
Veröffentlicht: (2022)

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition
von: Lee, Hochang, et al.
Veröffentlicht: (2021)

The Attribution Impossibility: No Feature Ranking Is Faithful, Stable, and Complete Under Collinearity
von: Caraker, Drake, et al.
Veröffentlicht: (2026)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
von: Rahnama, Moses
Veröffentlicht: (2025)

On Halting vs Converging in Recurrent Graph Neural Networks
von: Bollen, Jeroen, et al.
Veröffentlicht: (2026)

Informed deep hierarchical classification: a non-standard analysis inspired approach
von: Fiaschi, Lorenzo, et al.
Veröffentlicht: (2024)

Influence-Inspired Spectral Rotations for Extreme Low-Bit LLM Quantization
von: Pavlov, Gorgi
Veröffentlicht: (2026)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
von: Wright, Craig Steven
Veröffentlicht: (2025)

Tableau Proof Systems for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Propositional Measure Logic
von: Aragão, Francisco
Veröffentlicht: (2025)

Proof complexity of universal algebra in a CSP dichotomy proof
von: Gaysin, Azza
Veröffentlicht: (2024)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
von: Park, Sewon, et al.
Veröffentlicht: (2016)

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

Faithful Logic Embeddings in HOL -- Deep and Shallow
von: Benzmüller, Christoph
Veröffentlicht: (2025)

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

From categorized neural architectures to subexponential proof theory
von: Ovalle, Carlos Ramírez
Veröffentlicht: (2026)

The Fractal Logic of Phi-adic Recursion
von: Rosko, Milan
Veröffentlicht: (2025)

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

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
von: Drechsler, Rolf
Veröffentlicht: (2025)

A foundational characterization of Hoare Logic
von: Leivant, Daniel
Veröffentlicht: (2026)

Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms
von: Kratsios, Anastasis, et al.
Veröffentlicht: (2025)

Every Feedforward Neural Network Definable in an o-Minimal Structure Has Finite Sample Complexity
von: Kratsios, Anastasis, et al.
Veröffentlicht: (2026)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

A convergence law for continuous logic and continuous structures with finite domains
von: Koponen, Vera
Veröffentlicht: (2025)

Are Targeted Messages More Effective?
von: Grohe, Martin, et al.
Veröffentlicht: (2024)

Domain size asymptotics for Markov logic networks
von: Koponen, Vera
Veröffentlicht: (2025)

Reversible computations are computations
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
von: Japaridze, Giorgi
Veröffentlicht: (2026)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
von: Farmer, William M., et al.
Veröffentlicht: (2023)

Intersection Types via Finite-Set Declarations
von: Kamareddine, Fairouz, et al.
Veröffentlicht: (2024)

Logical Modalities within the European AI Act: An Analysis
von: Lawniczak, Lara, et al.
Veröffentlicht: (2025)

Rewriting Consistent Answers on Annotated Data
von: Kolaitis, Phokion G., et al.
Veröffentlicht: (2024)