:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Rashid, Adnan, Abed, Sa'ed, Hasan, Osman
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2501.00541
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Incompleteness for stably computable formal systems
by: Savelyev, Yasha
Published: (2022)

Term Ordering Diagrams
by: Hajdu, Márton, et al.
Published: (2025)

Fuzzy Aristotelian Diagrams
by: Syropoulos, Apostolos
Published: (2024)

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

Compositional Control-Driven Boolean Circuits
by: Arellanes, Damian
Published: (2025)

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

String Diagrams for Monoidal Categories, in Rocq
by: Pous, Damien
Published: (2026)

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

Formal Verification of Parameterized Systems based on Induction
by: Xiu, Jiaqi, et al.
Published: (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
by: Sa'ed Atshan
Published: (2025)

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

Meta-Modelling in Formal Concept Analysis
by: Wang, Yingjian
Published: (2024)

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

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

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

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

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

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

Toward a formalization of artifacts in GFO
by: Fiegenbaum, Hanna
Published: (2024)

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

Tape Diagrams for Monoidal Monads
by: Bonchi, Filippo, et al.
Published: (2025)

Enriching Diagrams with Algebraic Operations
by: Villoria, Alejandro, et al.
Published: (2023)

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

Formalizing equivalences without tears
by: de Jong, Tom
Published: (2024)

Formalization of Amicable Numbers Theory
by: Chen, Zhipeng, et al.
Published: (2026)

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

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

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

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

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

Canonical Decision Diagrams Modulo Theories
by: Michelutti, Massimo, et al.
Published: (2024)

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

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

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

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

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