National Institute of Informatics

From Instruction to Inheritance: Scaling Robot Learning Through Knowledge Circulation

Robot learning, particularly through vision–language–action (VLA) models, has rapidly improved the ability of robots to execute instructed tasks. However, the current mainstream paradigm of robot learning largely depends on one‐way instruction from humans to robots, lacking a cyc...

When Types Intersect and Effects Get Handled

We introduce a novel intersection type system for a λ-calculus with algebraic effects and handlers. The system, inherently behavioral in nature, enjoys the classical properties of intersection type systems, in particular subject reduction and expansion. It thus characterizes the...