Claude-4.0-Sonnet
ToolFirst seen 9/3/2026
Last seen 9/3/2026
Evidence 3 chunks
NEIGHBORHOOD
2 nodes · 1 edgesgraph · Claude-4.0-Sonnet · depth=1
RELATIONSHIPS
1 connectionsThe paper benchmarks Claude-4.0-Sonnet on RTL verification stimuli generation.