Jack Williams

Researcher@Microsoft·挪威·OpenReview

研究方向

LLMs · program synthesis · planning & reasoning · LLM evaluation · code generation · agents · spreadsheets · end-user programming · user-centred programming language design · type systems · gradual typing · contracts · runtime verification · dynamic languages · functional programming