AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Reinforcing Learning of Human Feedback
Google's SeiCan is a use case for using large language models with robotics. You identified an interesting use case that you've seen emerge this year. Could the ability to operate in ways that have like, proofs of correctness on that intermediate representation be used by robots? I think it's going to be really interesting and might have some interesting use cases there.