Picture for Kaiyu Yang

Kaiyu Yang

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

Add code
Feb 19, 2025
Figure 1 for Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Figure 2 for Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Figure 3 for Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Figure 4 for Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Viaarxiv icon

Spectral Journey: How Transformers Predict the Shortest Path

Add code
Feb 12, 2025
Viaarxiv icon

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Add code
Feb 11, 2025
Viaarxiv icon

Formal Mathematical Reasoning: A New Frontier in AI

Add code
Dec 20, 2024
Viaarxiv icon

Autoformalizing Euclidean Geometry

Add code
May 27, 2024
Viaarxiv icon

Towards Large Language Models as Copilots for Theorem Proving in Lean

Add code
Apr 18, 2024
Viaarxiv icon

SciGLM: Training Scientific Language Models with Self-Reflective Instruction Annotation and Tuning

Add code
Jan 15, 2024
Viaarxiv icon

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Add code
Jun 27, 2023
Figure 1 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 2 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 3 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 4 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Viaarxiv icon

Infinite Photorealistic Worlds using Procedural Generation

Add code
Jun 26, 2023
Figure 1 for Infinite Photorealistic Worlds using Procedural Generation
Figure 2 for Infinite Photorealistic Worlds using Procedural Generation
Figure 3 for Infinite Photorealistic Worlds using Procedural Generation
Figure 4 for Infinite Photorealistic Worlds using Procedural Generation
Viaarxiv icon

Generating Natural Language Proofs with Verifier-Guided Search

Add code
May 25, 2022
Figure 1 for Generating Natural Language Proofs with Verifier-Guided Search
Figure 2 for Generating Natural Language Proofs with Verifier-Guided Search
Figure 3 for Generating Natural Language Proofs with Verifier-Guided Search
Figure 4 for Generating Natural Language Proofs with Verifier-Guided Search
Viaarxiv icon