DeepSeek-R-1

The 'DeepSeek-R-1' dataset/benchmark is a dedicated dataset used to evaluate the effectiveness of the SecFSM method in generating secure Verilog code for Finite State Machines (FSMs).

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