This study delves into deductive verification for open-source models, revealing that while Vicuna-7B underperforms in reasoning checks, the Vicuna-13B model achieves superior accuracy.
Our experiments demonstrated that by fine-tuning the Vicuna models, we could significantly enhance their deductive verification capabilities and accuracy in reasoning tasks, paving the way for future research.
Collection
[
|
...
]