Projects

A growing collection of research projects.

WorldTest & AutumnBench

We introduce WorldTest, a framework for evaluating world model learning through environment-level queries about full dynamics, not single trajectories. AutumnBench, instantiated under WorldTest, exposes large human-LLM gaps in world-model building.

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