Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm

no code implementations • 27 Dec 2023 • Matthew Pugh, Jo Grundy, Corina Cirstea, Nick Harris

This paper is the first to construct and motivate a Machine Learning algorithm solely with Enriched Category Theory.

Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)

no code implementations • 2 Nov 2015 • Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea

In the context of formal verification in general and model checking in particular, parity games serve as a mighty vehicle: many problems are encoded as parity games, which are then solved by the seminal algorithm by Jurdzinski.

Logic in Computer Science Programming Languages