1 citations · 3 across the 4 of their papers we have counts for
5 papers
EMPIRIC: Experiment-Driven Learning of Residual World Models for Robot Planning
Yichao Liang, Amber Li, Dat Nguyen +13
A robot should be able to learn through experiments how unfamiliar objects behave and interact, then plan with that knowledge. It need not start from scratch: physics engines suppl…
Pact: A Choreographic Language for Agentic Ecosystems
Kiran Gopinathan, Jack Feser, Michelangelo Naim +2
Recent advances in large language models have led to the rise of software systems (i.e. agents) that execute with increasing autonomy on behalf of users in open, multi-party settin…
Concurrent Data Structures Made Easy (Extended Version)
Callista Le, Kiran Gopinathan, Koon Wen Lee +2
Design of an efficient thread-safe concurrent data structure is a balancing act between its implementation complexity and performance. Lock-based concurrent data structures, which…
GopCaml: A Structural Editor for OCaml
Kiran Gopinathan
This talk presents Gopcaml-mode, the first structural editing plugin for OCaml. We will give a tour of the main plugin features, discussing the plugin's internal design and its int…
Certifying Certainty and Uncertainty in Approximate Membership Query Structures -- Extended Version
Kiran Gopinathan, Ilya Sergey
Approximate Membership Query structures (AMQs) rely on randomisation for time- and space-efficiency, while introducing a possibility of false positive and false negative answers. C…