Saved in:
| Main Authors: | Rashid, Adnan, Abed, Sa'ed, Hasan, Osman |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| 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)
by: Aksoy, Kubra, et al.
Published: (2026)
ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
by: Rashid, Adnan
Published: (2026)
by: Rashid, Adnan
Published: (2026)
Proof Recommendation System for the HOL4 Theorem Prover
by: Dekhil, Nour, et al.
Published: (2024)
by: Dekhil, Nour, et al.
Published: (2024)
Circuit Representations of Random Forests with Applications to XAI
by: Ji, Chunxi, et al.
Published: (2026)
by: Ji, Chunxi, et al.
Published: (2026)
Incompleteness for stably computable formal systems
by: Savelyev, Yasha
Published: (2022)
by: Savelyev, Yasha
Published: (2022)
Term Ordering Diagrams
by: Hajdu, Márton, et al.
Published: (2025)
by: Hajdu, Márton, et al.
Published: (2025)
Fuzzy Aristotelian Diagrams
by: Syropoulos, Apostolos
Published: (2024)
by: Syropoulos, Apostolos
Published: (2024)
Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
by: Hadad, Itamar, et al.
Published: (2026)
by: Hadad, Itamar, et al.
Published: (2026)
Compositional Control-Driven Boolean Circuits
by: Arellanes, Damian
Published: (2025)
by: Arellanes, Damian
Published: (2025)
Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
by: Govindankutty, Arun, et al.
Published: (2026)
by: Govindankutty, Arun, et al.
Published: (2026)
String Diagrams for Monoidal Categories, in Rocq
by: Pous, Damien
Published: (2026)
by: Pous, Damien
Published: (2026)
Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
by: D'Angelo, Keri, et al.
Published: (2025)
by: D'Angelo, Keri, et al.
Published: (2025)
Formal Verification of Parameterized Systems based on Induction
by: Xiu, Jiaqi, et al.
Published: (2025)
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)
by: Sa'ed Atshan
Published: (2025)
Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)
by: Asgeirsson, Dagur
Published: (2023)
Meta-Modelling in Formal Concept Analysis
by: Wang, Yingjian
Published: (2024)
by: Wang, Yingjian
Published: (2024)
Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
by: Watanabe, Kazuki
Published: (2024)
by: Watanabe, Kazuki
Published: (2024)
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
by: Watanabe, Kazuki, et al.
Published: (2024)
by: Watanabe, Kazuki, et al.
Published: (2024)
Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)
by: Uskuplu, Elif
Published: (2023)
SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
by: Huvar, Ondřej, et al.
Published: (2026)
by: Huvar, Ondřej, et al.
Published: (2026)
A formalization of the Gelfond-Schneider theorem
by: Karatarakis, Michail, et al.
Published: (2026)
by: Karatarakis, Michail, et al.
Published: (2026)
A simple formalization of alpha-equivalence
by: Apinis, Kalmer, et al.
Published: (2025)
by: Apinis, Kalmer, et al.
Published: (2025)
Toward a formalization of artifacts in GFO
by: Fiegenbaum, Hanna
Published: (2024)
by: Fiegenbaum, Hanna
Published: (2024)
A formalization of System I with type Top in Agda
by: Séttimo, Agustín, et al.
Published: (2026)
by: Séttimo, Agustín, et al.
Published: (2026)
Tape Diagrams for Monoidal Monads
by: Bonchi, Filippo, et al.
Published: (2025)
by: Bonchi, Filippo, et al.
Published: (2025)
Enriching Diagrams with Algebraic Operations
by: Villoria, Alejandro, et al.
Published: (2023)
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)
by: Bryant, Randal E., et al.
Published: (2025)
Formalizing equivalences without tears
by: de Jong, Tom
Published: (2024)
by: de Jong, Tom
Published: (2024)
Formalization of Amicable Numbers Theory
by: Chen, Zhipeng, et al.
Published: (2026)
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)
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)
by: Alkhairy, Maha, et al.
Published: (2025)
Formal Modelling and Analysis of Slot Machines
by: Groote, Jan Friso, et al.
Published: (2024)
by: Groote, Jan Friso, et al.
Published: (2024)
Formal Verification of Isothermal Chemical Reactors
by: Feyzishendi, Parivash, et al.
Published: (2025)
by: Feyzishendi, Parivash, et al.
Published: (2025)
A Theory of Formal Choreographic Languages
by: Barbanera, Franco, et al.
Published: (2022)
by: Barbanera, Franco, et al.
Published: (2022)
Canonical Decision Diagrams Modulo Theories
by: Michelutti, Massimo, et al.
Published: (2024)
by: Michelutti, Massimo, et al.
Published: (2024)
Tapes as Stochastic Matrices of String Diagrams
by: Bonchi, Filippo, et al.
Published: (2026)
by: Bonchi, Filippo, et al.
Published: (2026)
Promonads and String Diagrams for Effectful Categories
by: Román, Mario
Published: (2022)
by: Román, Mario
Published: (2022)
Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
by: Lee, Jaeseo, et al.
Published: (2025)
by: Lee, Jaeseo, et al.
Published: (2025)
PECR: A formal system based on computability logic
by: Pantelis, G.
Published: (2024)
by: Pantelis, G.
Published: (2024)
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)
by: Vázquez, Gricel, et al.
Published: (2026)
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)