Update README.md
Browse files
README.md
CHANGED
|
@@ -9,6 +9,8 @@ tags:
|
|
| 9 |
|
| 10 |
# VeriReason-Llama-7b-RTLCoder-GRPO-reasoning-tb
|
| 11 |
|
|
|
|
|
|
|
| 12 |
## Update Log
|
| 13 |
2025.05.17: Initial release of VeriReason-Llama-7b-RTLCoder-GRPO-reasoning-tb
|
| 14 |
|
|
|
|
| 9 |
|
| 10 |
# VeriReason-Llama-7b-RTLCoder-GRPO-reasoning-tb
|
| 11 |
|
| 12 |
+
For implementation details, visit our GitHub repository: [VeriReason](https://github.com/NellyW8/VeriReason)
|
| 13 |
+
|
| 14 |
## Update Log
|
| 15 |
2025.05.17: Initial release of VeriReason-Llama-7b-RTLCoder-GRPO-reasoning-tb
|
| 16 |
|