VeriThoughts

https://github.com/wilyub/verithoughts

VeriThoughts is the first large-scale formally verified Verilog reasoning dataset that enables...

Tokens:7,000
Snippets:57
Trust Score:5.6
Update:1 month ago
Tokens:
Raw