00

DeepSeek-R1

Tool ☆ WATCH ⎘ SHARE

First seen 9/3/2026

Last seen 9/3/2026

Evidence 3 chunks

01

NEIGHBORHOOD

2 nodes · 1 edges

graph · DeepSeek-R1 · depth=1

02

RELATIONSHIPS

1 connections

GRPO with State Mutations: Improving LLM-Based Hardware Test Plan Generation ← evaluates 100% 2e evidence

The paper benchmarks DeepSeek-R1 on RTL verification stimuli generation.