8 citations · 11 across the 3 of their papers we have counts for
3 papers
cs.LG2025★ 8 cited
Type-Constrained Code Generation with Language Models
Niels Mündler, Jingxuan He, Hao Wang +3
Large language models (LLMs) have achieved notable success in code generation. However, they still frequently produce uncompilable output because their next-token inference procedu…
cs.AI2025
Reasoning Models Can Be Effective Without Thinking
Wenjie Ma, Jingxuan He, Charlie Snell +3
Recent LLMs have significantly improved reasoning capabilities, primarily by including an explicit, lengthy Thinking process as part of generation. In this paper, we question wheth…
cs.AI2024★ 3 cited
Formal Mathematical Reasoning: A New Frontier in AI
Kaiyu Yang, Gabriel Poesia, Jingxuan He +4
AI for Mathematics (AI4Math) is not only intriguing intellectually but also crucial for AI-driven discovery in science, engineering, and beyond. Extensive efforts on AI4Math have m…