rel-prover

AI & ML interests

None defined yet.

Recent Activity

yinyahuang  updated a dataset 5 days ago

rel-prover/premises_worsn_32pos_vin4ou4_goedel

yinyahuang  updated a dataset 5 days ago

rel-prover/premises_worsn_32pos_vin4ou4_goedel

yinyahuang  authored a paper 8 months ago

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

View all activity

Team members 2