A survey on online learning-augmented algorithms: proposal, paper, talk A survey on the application of logic in theorem proving and verification systems: paper Bandit notes: notes Online convex optimization notes: notes