Search

Zhengying Liu

FormalAlign: Automated Alignment Evaluation for Autoformalization
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving (NeurIPS 2024 D&B Track)
Proving Theorems Recursively
Process-Driven Autoformalization in Lean 4
ATG: Benchmarking Automated Theorem Generation for Generative Language Models
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data (ICLR 2024 Spotlight)
LEGO-Prover: Neural Theorem Proving with Growing Libraries
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.