:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Affeldt, Reynald, Bruni, Alessandro, Komendantskaya, Ekaterina, Ślusarz, Natalia, Stark, Kathrin
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science F.3.1; I.2.6
Acceso en línea:	https://arxiv.org/abs/2403.13700
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Foundation for Differentiable Logics using Dependent Type Theory
por: Affeldt, Reynald, et al.
Publicado: (2026)

Proof-Carrying Neuro-Symbolic Code
por: Komendantskaya, Ekaterina
Publicado: (2025)

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
por: Jana, Prithwish, et al.
Publicado: (2025)

Differentiable Logic Synthesis: Spectral Coefficient Selection via Sinkhorn-Constrained Composition
por: Pavlov, Gorgi
Publicado: (2026)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
por: Klaus, Natalia, et al.
Publicado: (2026)

Logic interpretations of ANN partition cells
por: Schmitt, Ingo
Publicado: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
por: Cate, Balder ten, et al.
Publicado: (2024)

LLM-as-a-Fuzzy-Judge: Fine-Tuning Large Language Models as a Clinical Evaluation Judge with Fuzzy Logic
por: Zheng, Weibing, et al.
Publicado: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
por: Barlatier, Patrick, et al.
Publicado: (2025)

Proving Cutoff Bounds for Safety Properties in First-Order Logic
por: Lotan, Raz, et al.
Publicado: (2024)

Implicit Rankings for Verifying Liveness Properties in First-Order Logic
por: Lotan, Raz, et al.
Publicado: (2024)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
por: Zhang, Xindi, et al.
Publicado: (2025)

Non-Ground Congruence Closure
por: Leidinger, Hendrik, et al.
Publicado: (2024)

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
por: Affeldt, Reynald, et al.
Publicado: (2024)

Sufficient Incorrectness Logic: SIL and Separation SIL
por: Ascari, Flavio, et al.
Publicado: (2023)

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
por: Kim, Kyuhee, et al.
Publicado: (2026)

Teaching Higher-Order Logic Using Isabelle
por: Lund, Simon Tobias, et al.
Publicado: (2024)

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
por: Villadsen, Jørgen
Publicado: (2025)

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
por: Soeteman, Arie, et al.
Publicado: (2026)

A foundational characterization of Hoare Logic
por: Leivant, Daniel
Publicado: (2026)

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
por: Yang, Ziyi, et al.
Publicado: (2026)

Synthesis of Safety Specifications for Probabilistic Systems
por: Ohlmann, Gaspard, et al.
Publicado: (2025)

Embedding Differential Dynamic Logic in PVS
por: Slagel, J. Tanner, et al.
Publicado: (2024)

Structural Sensitivity in Compressed Transformers: Relative Error Propagation and Layer Removal
por: Basu, Abhinaba, et al.
Publicado: (2026)

Language processing in humans and computers
por: Pavlovic, Dusko
Publicado: (2024)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
por: Bertrand, Meven Lennon, et al.
Publicado: (2026)

Uniform Substitution for Differential Refinement Logic
por: Prebet, Enguerrand, et al.
Publicado: (2024)

Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
por: Lotan, Raz, et al.
Publicado: (2026)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
por: Soeteman, Arie, et al.
Publicado: (2025)

Separation Logic of Generic Resources via Sheafeology
por: van Starkenburg, Berend, et al.
Publicado: (2025)

U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
por: Ascari, Flavio, et al.
Publicado: (2025)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
por: Hellwig, Jonathan, et al.
Publicado: (2025)

Learning How to Cube
por: Erata, Ferhat, et al.
Publicado: (2026)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
por: Jaakkola, Reijo, et al.
Publicado: (2024)

Leibniz's Monadology as Foundation for the Artificial Age Score: A Formal Architecture for Al Memory Evaluation
por: Kayadibi, Seyma Yaman
Publicado: (2025)

Bayesian Separation Logic
por: Ho, Shing Hin, et al.
Publicado: (2025)

Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming
por: Flach, João, et al.
Publicado: (2023)

Interpretable classifiers for tabular data via discretization and feature selection
por: Jaakkola, Reijo, et al.
Publicado: (2024)

Approximate Axiomatization for Differentially-Defined Functions
por: Platzer, André, et al.
Publicado: (2025)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
por: McCann, Alan L.
Publicado: (2026)