DeepSeek-R-1

The 'DeepSeek-R1' dataset is a dedicated benchmark used to evaluate the effectiveness of methods for generating secure Verilog code for Finite State Machines (FSMs) in Systems-on-Chip (SoC).

Papers using DeepSeek-R-1 (3)

SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution2025 · 2 citesSWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution2025 · 2 citesSecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip2025