New paper from @_FiveAI! https://t.co/F4B1Bc08Ru
How can we find images where 2D object detectors exhibit poor performance? It's an important problem for us to solve in autonomous driving, e.g. how can we find all the images where we miss out nearby pedestrians? 🔽 1/4
We have made our method available as an open source python library (pip install hardest) https://t.co/koP7nYiUKl Thanks to great coauthors @ewayers@romainmueller@puneetdokania 🌟 4/4
Autoformalization with LLMs in Lean!
@zhangir_azerbay and Edward Ayers built a chat interface to formalize natural language mathematics in Lean: https://t.co/uKLXFIZBR3
Very impressive work!