Algorithms that Code

The CAPER Program Synthesis group at Rice University builds algorithms and tools that use automated reasoning, statistical learning from large data sets, and limited domain-specific knowledge to automatically understand and write programs.