Scholar

Zaoyu Chen

Google Scholar ID: _qF0ascAAAAJ

The Hong Kong Polytechnic University

Code GenerationSmart ContractNLPAI

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

30

H-index

3

i10-index

1

Publications

6

Co-authors

0

Contact

No contact links provided.

Publications

3 items

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification

2025

Cited

0

SolBench: A Dataset and Benchmark for Evaluating Functional Correctness in Solidity Code Completion and Repair

2025

Cited

0

Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)