Scholar
Jingyang Li
Google Scholar ID: 0A2Ek3QAAAAJ
PhD Student, National University of Singapore
optimization
deep learning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
30
H-index
3
i10-index
1
Publications
6
Co-authors
8
list available
Publications
24 items
Irene: Equivalence Checking of Hybrid Quantum Programs via Structure-Preserving Symbolic Reduction
2026
Cited
0
Tensor Completion using Subspace Information
2026
Cited
0
TIPCODER: Reinforcement Learning Boosted Test-time Instruction Proposer for Code Generation
2026
Cited
0
Logos: Certified Order-Sensitive SQL Rewrites with Mechanized Semantics and LLM Guidance
2026
Cited
0
Towards Automated Formal Verification of zkEVMs Using LLM-Guided Constraint Synthesis
2026
Cited
0
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
2026
Cited
0
Online Riemannian Gradient Descent for Quantum State Tomography with Matrix Product Operators
2026
Cited
0
Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
2026
Cited
0
Load more
Co-authors
8 total
Kim-Chuan Toh
Professor of Mathematics, National University of Singapore
Pan Zhou
Assistant Professor at SMU
Kuangyu Ding
Purdue University
Jiachun Pan
National University of Singapore
Shijing Hu
Fudan University
Xingyu Xie
Research Fellow, Department of Mathematics, NUS
Vincent Y. F. Tan
Professor, Department of Mathematics, National University of Singapore
Yinyu Ye
Professor of Emeritus, Stanford University and Visiting Professor of SJTU, CUHKSZ and HKUST
