Now showing items 1-2 of 2

    • Automated Reasoning of Database Queries 

      Chu, Shumo
      From booking air tickets to analyzing astronomy datasets, database queries are pervasive in people’s work and life. This thesis describes Cosette, the first tool for automated reasoning the equivalences of SQL queries. The ...
    • Neural Models for Large-Scale Semantic Role Labelling 

      FitzGerald, Nicholas Arthur
      Recovering predicate-argument structures from natural language sentences is an important task in natural language processing (NLP), where the goal is to identify ``who did what to whom'' with respect to events described ...