activity
20222026
most citedCoqPyt: Proof Navigation in Python in the Era of LLMs

5 citations · 8 across the 9 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.NI2026

Voice-Driven Semantic Perception for UAV-Assisted Emergency Networks

Nuno Saavedra, Pedro Ribeiro, André Coelho +1

Unmanned Aerial Vehicle (UAV)-assisted networks are increasingly foreseen as a promising approach for emergency response, providing rapid, flexible, and resilient communications in…