WorldTest & AutumnBench WorldTest, a protocol for evaluating world-model learning via environment-level queries, instantiated as AutumnBench --- 43 interactive environments and 129 tasks. Rational Abstraction Automated framework for simplifying physics simulations by balancing computational efficiency with predictive accuracy through adaptive model abstractions. Parametric Inversion Program transformation technique that inverts non-injective functions by introducing parameters to uniquely determine inputs, implemented in JAX. Counterfactual Fairness Julia package implementing counterfactual reasoning methods to assess fairness criteria in algorithmic decision-making systems. ProbMods Translation Translation and adaptation of ProbMods textbook with working examples in Omega