SEARCH Articles Figures Tables Algorithm schema Algorithm synthesis Algorithmic synthesis Logic algorithm Logic algorithm schema Schema Schema synthesis Schema-guided synthesis Stepwise Stepwise synthesis