Showing 1–3 of 3 results for author: Lobski, L

Learning Closed Signal Flow Graphs

Authors: Ekaterina Piotrovskaya, Leo Lobski, Fabio Zanasi

Abstract: We develop a learning algorithm for closed signal flow graphs - a graphical model of signal transducers. The algorithm relies on the correspondence between closed signal flow graphs and weighted finite automata on a singleton alphabet. We demonstrate that this procedure results in a genuine reduction of complexity: our algorithm fares better than existing learning algorithms for weighted automata… ▽ More We develop a learning algorithm for closed signal flow graphs - a graphical model of signal transducers. The algorithm relies on the correspondence between closed signal flow graphs and weighted finite automata on a singleton alphabet. We demonstrate that this procedure results in a genuine reduction of complexity: our algorithm fares better than existing learning algorithms for weighted automata restricted to the case of a singleton alphabet. △ Less

Submitted 28 June, 2024; originally announced July 2024.

Comments: 13 pages, 6 figures. An extended abstract for Learning and Automata workshop (LearnAut 2024)

MSC Class: 68Q45 ACM Class: F.1.1; D.3.1

A Categorical Model for Retrosynthetic Reaction Analysis

Authors: Ella Gale, Leo Lobski, Fabio Zanasi

Abstract: We introduce a mathematical framework for retrosynthetic analysis, an important research method in synthetic chemistry. Our approach represents molecules and their interaction using string diagrams in layered props - a recently introduced categorical model for partial explanations in scientific reasoning. Such principled approach allows one to model features currently not available in automated re… ▽ More We introduce a mathematical framework for retrosynthetic analysis, an important research method in synthetic chemistry. Our approach represents molecules and their interaction using string diagrams in layered props - a recently introduced categorical model for partial explanations in scientific reasoning. Such principled approach allows one to model features currently not available in automated retrosynthesis tools, such as chirality, reaction environment and protection-deprotection steps. △ Less

Submitted 7 November, 2023; originally announced November 2023.

Comments: 22 pages, 3 figures

MSC Class: 18M30 ACM Class: F.4.1; J.3

String Diagrams for Layered Explanations

Authors: Leo Lobski, Fabio Zanasi

Abstract: We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems biology, electrical circuit theory, and concurrency. We demonstrate how three explanatory models in these seemingly diverse areas can be all understood uniform… ▽ More We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems biology, electrical circuit theory, and concurrency. We demonstrate how three explanatory models in these seemingly diverse areas can be all understood uniformly via a graphical calculus of layered props. Layered props allow for a compact visual presentation of the same phenomenon at different levels of precision, as well as the translation between these levels. Notably, our approach allows for partial explanations, that is, for translating just one part of a diagram while keeping the rest of the diagram untouched. Furthermore, our approach paves the way for formal reasoning about counterfactual models in systems biology. △ Less

Submitted 31 July, 2023; v1 submitted 8 July, 2022; originally announced July 2022.

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal ref: EPTCS 380, 2023, pp. 362-382