The workfow of DiLogics. (Step 1) To create web automation programs for data entry tasks, users frst upload an input fle, which is semantically segmented into the steps representing diferent task specifcations ○ a . Users can edit inaccurately segmented steps ○ b . (Step 2) Users then follow a carousel of current steps ○ c and demonstrate the corresponding UI actions to fulfll each specifcation. DiLogics highlights semantically relevant web page elements, guiding users to perform demonstrations ○ d . (Step 3) After two iterations of demonstrations, DiLogics learns the mappings between diferent steps and actions and automates the remaining task steps, generalizing GUI actions based on the specifcation's semantic meaning. Users can refne the program logics ○ e at any stage of execution by editing the steps or adding new demonstrations ○ f .