arxiv:2512.12730
Jingzhe Ding
JingzheDing
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 1 month ago
Probing Scientific General Intelligence of LLMs with Scientist-Aligned Workflows
upvoted
a
paper
about 1 month ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
authored
a paper
about 1 month ago
SafeGenBench: A Benchmark Framework for Security Vulnerability Detection
in LLM-Generated Code
Organizations
