3 citations · 4 across the 3 of their papers we have counts for
4 papers
OSUniverse: Benchmark for Multimodal GUI-navigation AI Agents
Mariya Davydova, Daniel Jeffries, Patrick Barker +2
In this paper, we introduce OSUniverse: a benchmark of complex, multimodal desktop-oriented tasks for advanced GUI-navigation AI agents that focuses on ease of use, extensibility,…
(Deep) Induction Rules for GADTs
Patricia Johann, Enrico Ghiorzi
Deep data types are those that are constructed from other data types, including, possibly, themselves. In this case, they are said to be truly nested. Deep induction is an extensio…
GADTs, Functoriality, Parametricity: Pick Two
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
GADTs can be represented either as their Church encodings a la Atkey, or as fixpoints a la Johann and Polonsky. While a GADT represented as its Church encoding need not support a m…
Parametricity for Nested Types and GADTs
Patricia Johann, Enrico Ghiorzi
This paper considers parametricity and its consequent free theorems for nested data types. Rather than representing nested types via their Church encodings in a higher-kinded or de…