FVELer

community

https://fveler.github.io

FVELER

Activity Feed Request to join this org

AI & ML interests

formal verification, automated theorem proving, Isabelle

FVELer's activity

XiaoHLim

updated a dataset 7 months ago

FVELer/FVELer

Updated Jul 11, 2024 • 33

yinyahuang

authored 2 papers 9 months ago

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Paper • 2310.10180 • Published Oct 16, 2023 • 1

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

Paper • 2402.08957 • Published Feb 14, 2024