Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

AI4EDA-CASELAB

university
https://github.com/NellyW8
Activity Feed

AI & ML interests

None defined yet.

Yiting Wang's profile picture

Collections 1

Verireason
Dataset and Model for paper: "VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation"
  • Nellyw888/VeriReason-codeLlama-7b-RTLCoder-Verilog-GRPO-reasoning-tb

    Reinforcement Learning • 7B • Updated May 31 • 76 • 2
  • Nellyw888/VeriReason-Qwen2.5-3b-RTLCoder-Verilog-GRPO-reasoning-tb

    Reinforcement Learning • 3B • Updated May 31 • 12
  • Nellyw888/VeriReason-Qwen2.5-1.5b-RTLCoder-Verilog-GRPO-reasoning-tb

    Reinforcement Learning • 2B • Updated May 20 • 9 • 1
  • Nellyw888/VeriReason-Qwen2.5-7b-RTLCoder-Verilog-GRPO-reasoning-tb

    Reinforcement Learning • 8B • Updated May 31 • 1.15k • 4
Verireason
Dataset and Model for paper: "VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation"
  • Nellyw888/VeriReason-codeLlama-7b-RTLCoder-Verilog-GRPO-reasoning-tb

    Reinforcement Learning • 7B • Updated May 31 • 76 • 2
  • Nellyw888/VeriReason-Qwen2.5-3b-RTLCoder-Verilog-GRPO-reasoning-tb

    Reinforcement Learning • 3B • Updated May 31 • 12
  • Nellyw888/VeriReason-Qwen2.5-1.5b-RTLCoder-Verilog-GRPO-reasoning-tb

    Reinforcement Learning • 2B • Updated May 20 • 9 • 1
  • Nellyw888/VeriReason-Qwen2.5-7b-RTLCoder-Verilog-GRPO-reasoning-tb

    Reinforcement Learning • 8B • Updated May 31 • 1.15k • 4

models 0

None public yet

datasets 0

None public yet
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs