I’ve been doing a LOT of this as part of my “ANPA-archaeology” work toward a causal discovery foundation for macrosocial dynamics. Musk likes to say “You can’t bullshit physics,” but before that stage, there are some stages that have to do with executable code including Lean4 (which I use) to flush the bovine LLM stalls.