Updates on Inria

Every AI story we track on Inria: 2 stories so far, each summarized in our own words and linked to the publisher that reported it.

Pulled from 125 sources

Today's stories

Robotics5 min read

Meet Kyutai REKI: The 2.4B VLA Model Bringing Efficient Memory to Robot Manipulation

MarkTechPost

This month

Dev14 min read

F*: A general-purpose proof-oriented programming language

Hacker News
That's everything we have on Inria right now