Update README.md: ICFP paper

Author: KatyaKom

README.md

@@ -69,6 +69,7 @@ to discuss it with us.
 
 ## Related papers
 
+- [Vehicle ITP backend (in ICFP'26)]([https://arxiv.org/abs/2605.02790])
 - [Vehicle tool paper (in FCSD'25)](https://drops.dagstuhl.de/entities/volume/LIPIcs-volume-337)
 - [Vehicle's type checker (in CPP'23)](https://laiv.uk/wp-content/uploads/2022/12/vehicle.pdf)
 - [Vehicle's compilation to verifier queries](https://arxiv.org/abs/2402.01353)