%0 Journal Article %1 journals/corr/abs-2406-14408 %A Lin, Xiaohan %A Cao, Qingxing %A Huang, Yinya %A Wang, Haiming %A Lu, Jianqiao %A Liu, Zhengying %A Song, Linqi %A Liang, Xiaodan %D 2024 %J CoRR %K dblp %T FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. %U http://dblp.uni-trier.de/db/journals/corr/corr2406.html#abs-2406-14408 %V abs/2406.14408

@article{journals/corr/abs-2406-14408, added-at = {2024-07-12T00:00:00.000+0200}, author = {Lin, Xiaohan and Cao, Qingxing and Huang, Yinya and Wang, Haiming and Lu, Jianqiao and Liu, Zhengying and Song, Linqi and Liang, Xiaodan}, biburl = {https://www.bibsonomy.org/bibtex/21b145a9ed7bd4ab686ef765985134e9e/dblp}, ee = {https://doi.org/10.48550/arXiv.2406.14408}, interhash = {6194ca210d5baadd5a3b137cb1c800c0}, intrahash = {1b145a9ed7bd4ab686ef765985134e9e}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-07-15T07:07:04.000+0200}, title = {FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2406.html#abs-2406-14408}, volume = {abs/2406.14408}, year = 2024 }