From ad483265ebf2c88b84bf23c66b7a143304c52773 Mon Sep 17 00:00:00 2001
From: aristote <quentin.aristote@irif.fr>
Date: Sun, 27 Jul 2025 12:15:34 +0200
Subject: move back to json and rename

---
 publications/preprints.yaml | 86 ---------------------------------------------
 1 file changed, 86 deletions(-)
 delete mode 100644 publications/preprints.yaml

(limited to 'publications/preprints.yaml')

diff --git a/publications/preprints.yaml b/publications/preprints.yaml
deleted file mode 100644
index d478a1b..0000000
--- a/publications/preprints.yaml
+++ /dev/null
@@ -1,86 +0,0 @@
----
-references:
-- id: aristoteFunctorialApproachMinimizing2023
-  abstract: >-
-    We study monoidal transducers, transition systems arising as deterministic
-    automata whose transitions also produce outputs in an arbitrary monoid, for
-    instance allowing outputs to commute or to cancel out. We use the
-    categorical framework for minimization and learning of Colcombet, Petrişan
-    and Stabile to recover the notion of minimal transducer recognizing a
-    language, and give necessary and sufficient conditions on the output monoid
-    for this minimal transducer to exist and be unique (up to isomorphism). The
-    categorical framework then provides an abstract algorithm for learning it
-    using membership and equivalence queries, and we discuss practical aspects
-    of this algorithm's implementation. We also extend the framework with a
-    categorical algorithm for minimizing transition systems, whose instantiation
-    retrieves the algorithm for minimizing monoidal transducers but also extends
-    the class of output monoids for which this algorithm is valid.
-  accessed:
-    - year: 2023
-      month: 7
-      day: 27
-  author:
-    - family: Aristote
-      given: Quentin
-  citation-key: aristoteFunctorialApproachMinimizing2023
-  issued:
-    - year: 2023
-      month: 7
-      day: 27
-  language: en
-  number: '04172251'
-  publisher: HAL
-  title: >-
-    Functorial approach to minimizing and learning deterministic transducers
-    with outputs in arbitrary monoids
-  type: article
-  URL: https://hal.science/hal-04172251
-
-- id: aristoteMonotoneWeakDistributive2024
-  abstract: >-
-    Noticing the similarity between the monotone weak distributive laws
-    combining two layers of nondeterminisms in sets and in compact Hausdorff
-    spaces, we study whether the latter law can be obtained automatically as a
-    weak lifting of the former. This holds partially, but does not generalize to
-    other categories of algebras: we then characterize when exactly monotone
-    weak distributive laws over powerset monads in categories of algebras exist,
-    exhibiting a law combining probabilities and non-determinism in compact
-    Hausdorff spaces and showing on the other hand that such laws do not exist
-    in a lot of other cases.
-  accessed:
-    - year: 2024
-      month: 11
-      day: 4
-  author:
-    - family: Aristote
-      given: Quentin
-  citation-key: aristoteMonotoneWeakDistributive2024
-  issued:
-    - year: 2024
-      month: 10
-  language: en
-  title: >-
-    Monotone weak distributive laws over the lifted powerset monad in categories
-    of algebras
-  type: article
-  URL: https://hal.science/hal-04712728v5
-
-- id: aristoteSmtlibbackendsFasterSMTLIBbased2023
-  abstract: >-
-    Announcement of smtlib-backends, a Haskell library providing a generic
-    interface for interacting with SMT solvers using SMT-LIB.
-  author:
-    - family: Aristote
-      given: Quentin
-  citation-key: aristoteSmtlibbackendsFasterSMTLIBbased2023
-  container-title: Tweag Blog
-  issued:
-    - year: 2023
-      month: 2
-      day: 14
-  language: en
-  title: 'smtlib-backends: faster SMT-LIB-based Haskell interface to SMT solvers'
-  title-short: smtlib-backends
-  type: post-weblog
-  URL: https://www.tweag.io/blog/2023-02-14-smtlib-backends
-...
-- 
cgit v1.2.3