Presented a poster on graph neural network verification at the DOE CSGF Annual Program Review, July 13–17, 2025.