Request for LoRA support

[aravind-selvam]

Hi and thank you for the amazing work on VeriFree!

I’d like to ask if there are any plans to support LoRA (Low-Rank Adaptation) for fine-tuning. LoRA integration would make the approach more accessible to researchers and practitioners with limited compute resources and could help experimentation in domain-specific applications.

If LoRA support is not currently on the roadmap, I’d be happy to contribute or test out a basic integration if you can provide some guidance on where to start

Thanks again for sharing this work!