Open-source simulation framework to measure how different voting designs perform against a number of typical retro funding design goals. Achieved by simulating voter behavior and applying formal, axiomatic reasoning.
Open-source LLM agents framework for token systems simulations — pioneered domain-specific cognitive architectures with plan-and-act agents for data science process automation, built on cadCAD/radCAD
