4 skills found
kyegomez / OpenR1An open source implementation of R1
NellyW8 / VeriReasonThis is the Github Repo for the paper: VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation
HarleyCoops / SmolThinker .5BA Qwen .5B reasoning model trained on OpenR1-Math-220k
dignfei / OpenR1No description available
