This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
João F. Ferreira
jff-dev.bsky.social
did:plc:lqpctl7fnrf5e7vxivuwn5jw
🚀 Our @icseconf.bsky.social paper "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification" is now live on arXiv! 🤖📜
Collaboration involving UC San Diego, INESC-ID, @istecnico.bsky.social, @imperialcollegeldn.bsky.social, and UMass.
📄 Read here: arxiv.org/abs/2412.14063
https://arxiv.org/abs/2412.14063
2024-12-19T14:14:08.923Z