Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Junqiao Zhao
Observed name:
Zhao, Junqiao
Institution:
Tongji University
Observed institution:
Tongji University
OpenAlex ID:
A5123493908
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
2026
·
Liu, Junqi
, Zhou, Zihao
, et al.
·
arXiv (Cornell University)
·
2
PDF
ACSAC: Adaptive Chunk Size Actor-Critic with Causal Transformer Q-Network
2026
·
Chen, Qian
, Zhao, Junqiao
, et al.
·
arXiv (Cornell University)
PDF
Beyond Penalization: Diffusion-based Out-of-Distribution Detection and Selective Regularization in Offline Reinforcement Learning
2026
·
Wang, Qingjun
, Zhou, Hongtu
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
3
Citation count:
H-index:
I10-index:
Year
Topic
Type