Siru Tao

Disjunctive information flow policies can be enforced with a type system that reveals surprising limitations in traditional methods, leading to stricter precision guarantees.

Traditional audits miss collusion entirely, allowing conspiracies to thrive under the guise of competitive pricing.

Prediction objectives shape the physical knowledge embedded in latent representations, revealing that some parameters are only captured under specific forecasting conditions.