2 citations · 3 across the 4 of their papers we have counts for
4 papers
In between myth and reality: AI for math -- a case study in category theory
Răzvan Diaconescu
Recently, there is an increasing interest in understanding the performance of AI systems in solving math problems. A multitude of tests have been performed, with mixed conclusions.…
Non-determinsitic algebraic rewriting as adjunction
Răzvan Diaconescu
We develop a general model theoretic semantics to rewriting beyond the usual confluence and termination assumptions. This is based on preordered algebra which is a model theory tha…
Generic partiality for -institutions
Răzvan Diaconescu
-institutions have been introduced as an extension of institution theory that accommodates implicitly partiality of the signature morphisms together with its syntactic…
3/2-Institutions: an institution theory for conceptual blending
Răzvan Diaconescu
We develop an extension of institution theory that accommodates implicitly the partiality of the signature morphisms and its syntactic and semantic effects. This is driven primaril…