Title |
---|
![]() Proving Theorems Recursively Haiming Wang Huajian Xin Zhengying Liu Wenda Li Yinya Huang ...Zhicheng YANG Jing Tang Jian Yin Zhenguo Li Xiaodan Liang |
![]() ReGAL: Refactoring Programs to Discover Generalizable Abstractions Elias Stengel-Eskin Archiki Prasad Mohit Bansal |