Kaiyu Yang
- Papers
- 9
Cite
Notes
Only stored in your browser.
Authored papers
9VERINA: Benchmarking Verifiable Code Generation
arXiv 2025
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
arXiv 2025
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
arXiv 2025
SciInstruct: a Self-Reflective Instruction Annotated Dataset for Training Scientific Language Models
arXiv 2024
Infinite Photorealistic Worlds using Procedural Generation
infinite-photorealistic-worlds-using
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
leandojo-theorem-proving-with-retrieval
Strongly Incremental Constituency Parsing with Graph Neural Networks
NeurIPS 2020 12
SpatialSense: An Adversarially Crowdsourced Benchmark for Spatial Relation Recognition
spatialsense-an-adversarially-crowdsourced-1
Learning to Prove Theorems via Interacting with Proof Assistants
arXiv 2019
Affiliations
Frequent co-authors
10from 9 papers