Videos

Design – On the Human Side

2 months ago
This session addresses what is human about artificial intelligence. The session will inspect this question from three very different perspectives.  Alex Taylor will discuss human perspectives on AI; Anab Jain will comment on how design is shaping and commenting on AI; and Rebecca Fiebrink will speak about how people can learn to train AI tools […]

Policy Gradient Methods: Tutorial and New Frontiers

2 months ago
In this tutorial we discuss several recent advances in deep reinforcement learning involving policy gradient methods. These methods have shown significant success in a wide range of domains, including continuous-action domains such as manipulation, locomotion, and flight. They have also achieved the state of the art in discrete action domains such as Atari. We will […]

Improving trust in the compilation from F* to C

2 months ago
F* is a ML-like programming language aimed at program verification, allowing its users to write programs, specifications, and prove them correct in the same tool. It is a key component of the Everest project, whose goal is building a fully verified HTTPS stack, including cryptographic libraries and a TLS implementation. To achieve good performance, F* […]

Data Science Summer School 2017: Student Trajectories and School Choice in NYC

2 months ago
New York City serves over one million public school students each year, yet relatively little is understood in terms of how students progress through the school system. In this talk we use individual-level student data over a ten-year time period to explore how early test performance correlates with later success, to describe and predict which […]

Keynote: The Interplay of Agent and Market Design

2 months ago
Humans make hundreds of routine decisions daily. More often than not, the impact of our decisions depends on the decisions of others. As AI progresses, we are offloading more and more of these decisions to artificial agents. This research is aimed at building AI agents that make effective decisions in multiagent—part human, part artificial—environments. Current […]

From Visual Sensing to Visual Intelligence

2 months ago
Computer vision is arguably one of the most challenging subfields of AI. To better address the key challenges, the vision research community has long been branched off from the general AI community and focused on its core problems. In recent years, we have witnessed tremendous progress in visual sensing due to big data and more […]

Post-quantum cryptography from supersingular isogeny problems?

2 months ago
We review existing cryptographic schemes based on the hardness of computing isogenies between supersingular isogenies, and present some attacks against them. In particular, we present new techniques to accelerate the resolution of isogeny problems when the action of the isogeny on a large torsion subgroup is known, and we discuss the impact of these techniques […]

What (and How) Can Linked-View Visualization tell us about the Universe, and Brains?

2 months ago
Since the time of the ancients, Astronomers have been visual thinkers. It was also a hotbed of “data science” and “open science” before those were cool. This trifecta of visual, data-rich, and open creates unparalleled opportunities for new software approaches to lead to new discovery and understanding. This talk will describe how a new Python-based […]

Improving trust in the compilation from F* to C

2 months ago
F* is a ML-like programming language aimed at program verification, allowing its users to write programs, specifications, and prove them correct in the same tool. It is a key component of the Everest project, whose goal is building a fully verified HTTPS stack, including cryptographic libraries and a TLS implementation. To achieve good performance, F* […]

Data Science Summer School 2017: Student Trajectories and School Choice in NYC

2 months ago
New York City serves over one million public school students each year, yet relatively little is understood in terms of how students progress through the school system. In this talk we use individual-level student data over a ten-year time period to explore how early test performance correlates with later success, to describe and predict which […]

Fontlings In Story Baker Demo 9

2 months ago
This demonstration shows a scene with a dragon and banana in the forest and the sentence: “The dragon ate a banana in the forest.” The sentence has a Fontlings idle behavior. When the child taps on image of the dragon, a dynamic link from the image to the word “dragon” is shown and the word […]

Fontlings Demo 8

2 months ago
This demonstration shows an early version of Fontlings with the sentence “Fontlings! Are fun and alive!” and the behavior “Happy” applied to the first word, and then to all words in the sentence. Finally, the behaviors “Misunderstood” and “Idle” are applied on all the words in the sentence. Note the “wormy/organic” feel of the idle […]