Kyle Levin — accepted AI-conference papers

2025

Discovering Symbolic Cognitive Models from Human and Animal Behavior

Pablo Samuel Castro, Nenad Tomasev, Ankit Anand, Navodita Sharma, Rishika Mohanta, Aparna Dev +11

ICML 2025spotlight

Symbolic models play a key role in cognitive science, expressing computationally precise hypotheses about how the brain implements a cognitive process. Identifying an appropriate model typically requires a great deal of effort and ingenuity on the part of a human scientist. Here, we adapt FunSearch…

Cited by 1 Source ↗PDF ↗Scholar ↗

2019

Decentralized Formation Coordination of Multiple Quadcopters under Communication Constraints

Pramod Abichandani, Kyle Levin, Donald Bucci

ICRA 2019poster

This paper addresses the problem of decentralized, outdoor formation coordination with multiple quadcopters. The problem is formulated as a receding horizon, mixed-integer non-linear program (RH-MINLP). Each quadcopter solves this RH-MINLP to generate its time-optimal speed profile along a minimum s…

Cited by 15 Source ↗Scholar ↗