Picture for Xin Quan

Xin Quan

Consistent Autoformalization for Constructing Mathematical Libraries

Add code
Oct 05, 2024
Figure 1 for Consistent Autoformalization for Constructing Mathematical Libraries
Figure 2 for Consistent Autoformalization for Constructing Mathematical Libraries
Figure 3 for Consistent Autoformalization for Constructing Mathematical Libraries
Figure 4 for Consistent Autoformalization for Constructing Mathematical Libraries
Viaarxiv icon

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Add code
May 02, 2024
Figure 1 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Figure 2 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Figure 3 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Figure 4 for Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Viaarxiv icon

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement

Add code
Feb 01, 2024
Viaarxiv icon