Software engineer and researcher — ML safety, security, and production systems.https://dorcohen.dev/https://dorcohen.dev/posts/cnf-entropy-approximation/https://dorcohen.dev/posts/cnf-entropy-approximation/How I used uniform solution sampling to approximate Shannon entropy for CNF formulas, applied to a SAT model counter.Mon, 19 Jun 2017 00:00:00 GMThttps://dorcohen.dev/posts/multiple-treatment-causal-effect/https://dorcohen.dev/posts/multiple-treatment-causal-effect/Comparing covariate adjustment and matching methods for estimating causal effects when there are more than two treatment groups.Mon, 01 Feb 2021 00:00:00 GMThttps://dorcohen.dev/posts/what-can-ai-actually-hack/https://dorcohen.dev/posts/what-can-ai-actually-hack/What each cyber task really is, where it runs, and how far today's models get.Sun, 08 Nov 2026 00:00:00 GMT