This is the public page detailing the collaboration Between Ed and Vipul on Model Reduction for TXTL.