LLM-EDA
VeriDebug
Based on WANGNingroci/VeriSeek
Tags
- pytorch
- llama_grit
- en
- base_model:LLM-EDA/VeriSeek
- base_model:finetune:LLM-EDA/VeriSeek
- license:apache-2.0
- region:us
Languages
en
- Author
- LLM-EDA
- Architecture
- llama_grit
- License
- apache-2.0
- Base model
- WANGNingroci/VeriSeek
- Downloads
- 7
- Likes
- 0