1. Spreadsheet Conditional Formatting: An Untapped Resource for Mathematics Education;Abramovich Sergei;Spreadsheets in Education,2004
2. Titus Barik , Kevin Lubick , Justin Smith , John Slankas , and Emerson Murphy-Hill . 2015 . Fuse: a reproducible, extendable, internet-scale corpus of spreadsheets . In 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories. IEEE, IEEE/ACM , Florence, Italy, 486--489. Titus Barik, Kevin Lubick, Justin Smith, John Slankas, and Emerson Murphy-Hill. 2015. Fuse: a reproducible, extendable, internet-scale corpus of spreadsheets. In 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories. IEEE, IEEE/ACM, Florence, Italy, 486--489.
3. Hendrik Blockeel and Luc De Raedt . 1998. Top-down induction of first-order logical decision trees. Artificial intelligence 101, 1--2 ( 1998 ), 285--297. Hendrik Blockeel and Luc De Raedt. 1998. Top-down induction of first-order logical decision trees. Artificial intelligence 101, 1--2 (1998), 285--297.
4. Xinyun Chen , Petros Maniatis , Rishabh Singh , Charles Sutton , Hanjun Dai , Max Lin , and Denny Zhou . 2021 . SpreadsheetCoder: Formula Prediction from Semi-structured Context . In Proceedings of the 38th International Conference on Machine Learning (Proceedings of Machine Learning Research), Marina Meila and Tong Zhang (Eds.) , Vol. 139 . PMLR, virtual, 1661--1672. https://proceedings.mlr.press/v139/chen21m.html Xinyun Chen, Petros Maniatis, Rishabh Singh, Charles Sutton, Hanjun Dai, Max Lin, and Denny Zhou. 2021. SpreadsheetCoder: Formula Prediction from Semi-structured Context. In Proceedings of the 38th International Conference on Machine Learning (Proceedings of Machine Learning Research), Marina Meila and Tong Zhang (Eds.), Vol. 139. PMLR, virtual, 1661--1672. https://proceedings.mlr.press/v139/chen21m.html
5. Learning programs by learning from failures