FVELer

AI & ML interests

formal verification, automated theorem proving, Isabelle

Recent Activity

XiaoHLim  updated a dataset 6 months ago

FVELer/FVELer

yinyahuang  authored a paper 9 months ago

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

yinyahuang  authored a paper 9 months ago

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

View all activity

Team members 3