Wen-Ding Li
Cornell PhD student; works on program synthesis, code LLMs, and ARC-style abstract reasoning.
- Role
- grad-student
- Currently at
- Independent
- twitter.com/xu3kev
- GitHub
- github.com/xu3kev
- Scholar
- scholar.google.com/citations
- Papers
- 4
Cite
Notes
Only stored in your browser.
4papers
Authored papers
4Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
arXiv 2025
M1: Towards Scalable Test-Time Compute with Mamba Reasoning Models
arXiv 2025
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
NeurIPS
Combining Induction and Transduction for Abstract Reasoning
arXiv 2024
Affiliations
Frequent co-authors
10from 4 papers