Sean Lamont

PhD Candidate, The Australian National University
Research Scientist, Defence Science and Technology Group

My current research focus is on AI/ML applications to Interactive Theorem Proving (ITP).

Selected Publications

  1. Generalised Discount Functions applied to a Monte-Carlo AImu Implementation
    Sean Lamont, John Aslanides, Jan Leike, and Marcus Hutter
    Autonomous Agents and Multiagent Systems, 2017