"VeriFriendly team on TechEx Amsterdam Hackathon - AI & Big Data Expo Europe Hackathon"
Team Idea
I am going to focus on delivering formal verification tools for agentic ecosystems
Team Members
Alejandro Rodríguez
arodrica4363
Submission
Team Leader hasn't made a submission yet