You can read our project proposal, which gives more detail on the RAIRE initiative at CMU, in one of the following formats: final.pdf final.ps final.ascii