formal-models topic

TLA+ specifications of various protocols used by wallets in the nitro protocol.

statechannels

Formal Psychological Models of Categorization and Learning

ajwills72

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

grockious