Picture for Zhengying Liu

Zhengying Liu

Process-Driven Autoformalization in Lean 4

Add code
Jun 04, 2024
Viaarxiv icon

Proving Theorems Recursively

Add code
May 23, 2024
Viaarxiv icon

ATG: Benchmarking Automated Theorem Generation for Generative Language Models

Add code
May 05, 2024
Viaarxiv icon

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

Add code
Feb 14, 2024
Viaarxiv icon

A Survey of Reasoning with Foundation Models

Add code
Dec 26, 2023
Viaarxiv icon

Large Language Models as Automated Aligners for benchmarking Vision-Language Models

Add code
Nov 24, 2023
Viaarxiv icon

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Add code
Oct 24, 2023
Figure 1 for TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Figure 2 for TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Figure 3 for TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Figure 4 for TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Viaarxiv icon

Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis

Add code
Oct 20, 2023
Figure 1 for Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis
Figure 2 for Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis
Figure 3 for Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis
Figure 4 for Gaining Wisdom from Setbacks: Aligning Large Language Models via Mistake Analysis
Viaarxiv icon

LEGO-Prover: Neural Theorem Proving with Growing Libraries

Add code
Oct 12, 2023
Figure 1 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Figure 2 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Figure 3 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Figure 4 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Viaarxiv icon

Lyra: Orchestrating Dual Correction in Automated Theorem Proving

Add code
Oct 07, 2023
Figure 1 for Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Figure 2 for Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Figure 3 for Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Figure 4 for Lyra: Orchestrating Dual Correction in Automated Theorem Proving
Viaarxiv icon