Explore projects

A framework for reasoning about the (un)realizability of polymorphic programs based on input-output examples.

Hole Refinemenst for Polymorphic Type-and-Example Driven Synthesis

Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.

Docker image for grading C# assignments in Prairielearn. Similar to DOMjudge by comparing program's output with expected output.

Repository containing code of the experiments appearing in the paper "Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning"