5 projects
rad-embeddings
Python library for RAD Embeddings, provably correct latent DFA representations.
dfax
Python library for modeling DFAs, Moore Machines, and Transition Systems in JAX.
dfa-gym
Python library for playing DFA bisimulation games and wrapping other RL environments with DFA goals.
token-env
Gymnasium grid environment with random tokens
dfa-samplers
Deterministic Finite Automata (DFA) samplers
