Copertina

Taming Differentiable Logics with Coq Formalisation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Affeldt, Reynald, Bruni, Alessandro, Komendantskaya, Ekaterina, Ślusarz, Natalia, Stark, Kathrin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science F.3.1; I.2.6
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Proof-Carrying Neuro-Symbolic Code
di: Komendantskaya, Ekaterina
Pubblicazione: (2025)

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

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

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

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

Logic interpretations of ANN partition cells
di: Schmitt, Ingo
Pubblicazione: (2024)

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

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

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

Non-Ground Congruence Closure
di: Leidinger, Hendrik, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

A foundational characterization of Hoare Logic
di: Leivant, Daniel
Pubblicazione: (2026)

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

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

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

Bayesian Separation Logic
di: Ho, Shing Hin, et al.
Pubblicazione: (2025)

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

Language processing in humans and computers
di: Pavlovic, Dusko
Pubblicazione: (2024)

Nemobot Games: Crafting Strategic AI Gaming Agents for Interactive Learning with Large Language Models
di: Tan, Chee Wei, et al.
Pubblicazione: (2026)

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

Automatic Function Annotations for Hoare Logic
di: Matichuk, Danielle
Pubblicazione: (2012)

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

Assessing Financial Statement Risks among $\mathrm{MCDM}$ Techniques
di: Abdullah, Marwa, et al.
Pubblicazione: (2025)

Integrating Linear Regression and Multi-Criteria Decision Making for Assessing Financial Statement Risks in Manufacturing Firms
di: Abdullah, Duaa, et al.
Pubblicazione: (2026)

ARCHED: A Human-Centered Framework for Transparent, Responsible, and Collaborative AI-Assisted Instructional Design
di: Li, Hongming, et al.
Pubblicazione: (2025)

Learning How to Cube
di: Erata, Ferhat, et al.
Pubblicazione: (2026)

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