TY  - RPRT
TI  - FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
AU  - Xiaohan Lin
AU  - Qingxing Cao
AU  - Yinya Huang
AU  - Haiming Wang
AU  - Jianqiao Lu
AU  - Zhengying Liu
AU  - Linqi Song
AU  - Xiaodan Liang
PY  - 2024
UR  - https://arxiv.org/abs/2406.14408
ID  - 2406.14408
ER  -