PhD students and postdoctoral researchers: Students and postdoctoral researchers who are interested to join my research group at the Chinese University of Hong Kong, Shenzhen in China and at the ...

Evaluating Research-Level Math Proofs via Strict Step-Level Verification Yifeng Sun Test-time Adversarial Takeover: A Real-time Hijacking Interface against Robotic Diffusion Policies Zi Yin , Peilin ...

We benchmark on the community-standard Dalke NN dataset (1,000 high-similarity ChEMBL pairs) — the same dataset widely used by RDKit, CDK, and the academic MCS literature. Identical SMILES input, same ...