0

Junqiao Zhao

Papers
2

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
2papers

Authored papers

2

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

arXiv 2026

2026

Convex Hull-based Algebraic Constraint for Visual Quadric SLAM

arXiv 2025

2025

Affiliations

No known affiliations.

Frequent co-authors

10

from 2 papers

Chen Ye

1 shared paper

Jia Li

researcher

1 shared paper

Jiawei Liu

1 shared paper

Junqi Liu

1 shared paper

Lihong Zhi

1 shared paper

Marco Dos Santos

1 shared paper

Qiufeng Wang

1 shared paper

Ran Wang

1 shared paper

Shuangfu Song

1 shared paper

Tiantian Feng

1 shared paper