Xinyi Wang

Latest

• Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
• Automatically Correcting Large Language Models: Surveying the landscape of diverse self-correction strategies