CoolFace
16 results

rtl-coder

Jongbin-kr /VeriReason-RTL-Coder_7b_reasoning_tbtext1K<n<10K0 likes140 downloads3mo agoHugging FaceLLM4Code /expanded_rtlcoder_12ktext10K<n<100K3 likes100 downloads1y agoHugging FaceNellyw888 /RTL-Coder_7b_reasoning_tb_combined Verireason-RTL-Coder_7b_reasoning_tb_combined For implementation details, visit our GitHub repository: VeriReason Check out our paper: VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation This is the combined version of VeriReason-RTL-Coder_7b_reasoning_tb and VeriReason-RTL-Coder_7b_reasoning_tb_simple. Update Log 2025.05.17: Initial release of Nellyw888/Verireason-RTL-Coder_7b_reasoning_tb_combined Project… See the full description on the dataset page: https://huggingface.co/datasets/Nellyw888/RTL-Coder_7b_reasoning_tb_combined.texttext-generation1K<n<10K0 likes83 downloads1y agoHugging FaceNellyw888 /VeriReason-RTL-Coder_7b_reasoning_tb Verireason-RTL-Coder_7b_reasoning_tb For implementation details, visit our GitHub repository: VeriReason and our page Check out our paper: VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation Update Log 2025.05.17: Initial release of Nellyw888/Verireason-RTL-Coder_7b_reasoning_tb Project Description This study introduces VeriReason, a novel approach utilizing reinforcement learning with testbench feedback to… See the full description on the dataset page: https://huggingface.co/datasets/Nellyw888/VeriReason-RTL-Coder_7b_reasoning_tb.texttext-generation1K<n<10K4 likes73 downloads1y agoHugging FaceJongbin-kr /RTL-Coder-27ktext10K<n<100K0 likes63 downloads3mo agoHugging FaceNellyw888 /RTL-Coder_7b_reasoning Verireason-RTL-Coder_7b_reasoning_tb_simple For implementation details, visit our GitHub repository: VeriReason Check out our paper: VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation Update Log 2025.05.17: Initial release of Nellyw888/Verireason-RTL-Coder_7b_reasoning Project Description This study introduces VeriReason, a novel approach utilizing reinforcement learning with testbench feedback to enhance the… See the full description on the dataset page: https://huggingface.co/datasets/Nellyw888/RTL-Coder_7b_reasoning.texttext-generation1K<n<10K1 likes58 downloads1y agoHugging Face