Search

Qingxing Cao

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)
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
REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement
PathReasoner: Explainable reasoning paths for commonsense question answering

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