Uvalde school district contracted with Social Sentinel, using artificial intelligence to monitor social media for threats