:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Rashid, Adnan, Abed, Sa'ed, Hasan, Osman
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2501.00541
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On the Formalization of Network Topology Matrices in HOL
di: Aksoy, Kubra, et al.
Pubblicazione: (2026)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
di: Rashid, Adnan
Pubblicazione: (2026)

Proof Recommendation System for the HOL4 Theorem Prover
di: Dekhil, Nour, et al.
Pubblicazione: (2024)

Circuit Representations of Random Forests with Applications to XAI
di: Ji, Chunxi, et al.
Pubblicazione: (2026)

Incompleteness for stably computable formal systems
di: Savelyev, Yasha
Pubblicazione: (2022)

Term Ordering Diagrams
di: Hajdu, Márton, et al.
Pubblicazione: (2025)

Fuzzy Aristotelian Diagrams
di: Syropoulos, Apostolos
Pubblicazione: (2024)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
di: Hadad, Itamar, et al.
Pubblicazione: (2026)

Compositional Control-Driven Boolean Circuits
di: Arellanes, Damian
Pubblicazione: (2025)

Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
di: Govindankutty, Arun, et al.
Pubblicazione: (2026)

String Diagrams for Monoidal Categories, in Rocq
di: Pous, Damien
Pubblicazione: (2026)

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
di: D'Angelo, Keri, et al.
Pubblicazione: (2025)

Formal Verification of Parameterized Systems based on Induction
di: Xiu, Jiaqi, et al.
Pubblicazione: (2025)

One Day, Everyone Will Have Always Been Against This. By OmarEl Akkad. New York: Alfred A. Knopf, 2025. 208 Pages. $28.00 (Hardcover). ISBN: 978‐0‐59‐380414‐8
di: Sa'ed Atshan
Pubblicazione: (2025)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
di: Asgeirsson, Dagur
Pubblicazione: (2023)

Meta-Modelling in Formal Concept Analysis
di: Wang, Yingjian
Pubblicazione: (2024)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
di: Watanabe, Kazuki
Pubblicazione: (2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
di: Watanabe, Kazuki, et al.
Pubblicazione: (2024)

Formalizing two-level type theory with cofibrant exo-nat
di: Uskuplu, Elif
Pubblicazione: (2023)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
di: Huvar, Ondřej, et al.
Pubblicazione: (2026)

A formalization of the Gelfond-Schneider theorem
di: Karatarakis, Michail, et al.
Pubblicazione: (2026)

A simple formalization of alpha-equivalence
di: Apinis, Kalmer, et al.
Pubblicazione: (2025)

Toward a formalization of artifacts in GFO
di: Fiegenbaum, Hanna
Pubblicazione: (2024)

A formalization of System I with type Top in Agda
di: Séttimo, Agustín, et al.
Pubblicazione: (2026)

Tape Diagrams for Monoidal Monads
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

Enriching Diagrams with Algebraic Operations
di: Villoria, Alejandro, et al.
Pubblicazione: (2023)

Certified Knowledge Compilation with Application to Formally Verified Model Counting
di: Bryant, Randal E., et al.
Pubblicazione: (2025)

Formalizing equivalences without tears
di: de Jong, Tom
Pubblicazione: (2024)

Formalization of Amicable Numbers Theory
di: Chen, Zhipeng, et al.
Pubblicazione: (2026)

A Categorical Framework for Modeling with Stock and Flow Diagrams
di: Baez, John C., et al.
Pubblicazione: (2022)

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
di: Alkhairy, Maha, et al.
Pubblicazione: (2025)

Formal Modelling and Analysis of Slot Machines
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)

Formal Verification of Isothermal Chemical Reactors
di: Feyzishendi, Parivash, et al.
Pubblicazione: (2025)

A Theory of Formal Choreographic Languages
di: Barbanera, Franco, et al.
Pubblicazione: (2022)

Canonical Decision Diagrams Modulo Theories
di: Michelutti, Massimo, et al.
Pubblicazione: (2024)

Tapes as Stochastic Matrices of String Diagrams
di: Bonchi, Filippo, et al.
Pubblicazione: (2026)

Promonads and String Diagrams for Effectful Categories
di: Román, Mario
Pubblicazione: (2022)

Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
di: Lee, Jaeseo, et al.
Pubblicazione: (2025)

PECR: A formal system based on computability logic
di: Pantelis, G.
Pubblicazione: (2024)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
di: Vázquez, Gricel, et al.
Pubblicazione: (2026)