Skip to content
STIMSMITH

Claude-4.0-Sonnet

Tool
First seen 9/3/2026
Last seen 9/3/2026
Evidence 3 chunks

NEIGHBORHOOD

2 nodes · 1 edges
graph · Claude-4.0-Sonnet · depth=1

RELATIONSHIPS

1 connections
The paper benchmarks Claude-4.0-Sonnet on RTL verification stimuli generation.