Jingxuan He

发表论文 25 篇 · 总被引 449 次 · h-index 7

代表论文

• Reasoning Models Can Be Effective Without Thinking (2025 · arXiv.org · 被引 195)
• Progent: Securing AI Agents with Privilege Control (2025 · 被引 111)
• Formal Mathematical Reasoning: A New Frontier in AI (2024 · arXiv.org · 被引 98)
• CyberGym: Evaluating AI Agents'Real-World Cybersecurity Capabilities at Scale (2025 · 被引 66)
• Type-Constrained Code Generation with Language Models (2025 · Proc. ACM Program. Lang. · 被引 60)
• VERINA: Benchmarking Verifiable Code Generation (2025 · arXiv.org · 被引 31)