Languages ... by finite semigroups [generalised to] trees and graphs (2020)[pdf]

Mistral AI takes on OpenAI with new moderation API, tackling harmful content in 11 languages

Crux, a Precise Verifier for Rust and Other Languages

ForestGuard is building the ‘Internet of Trees’ to detect fires even earlier