Enduo Zhao

Orcid: 0009-0004-5833-1408

According to our database1, Enduo Zhao authored at least 8 papers between 2023 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
OProver: A Unified Framework for Agentic Formal Theorem Proving.
CoRR, May, 2026

Autonomous Robotic Bone Micro-Milling System With Automatic Calibration and 3D Surface Fitting.
IEEE Robotics Autom. Lett., February, 2026

2025
NL2Repo-Bench: Towards Long-Horizon Repository Generation Evaluation of Coding Agents.
CoRR, December, 2025

Scaling Latent Reasoning via Looped Language Models.
CoRR, October, 2025

A multimodal digital twin for autonomous micro-drilling in scientific exploration.
Int. J. Comput. Assist. Radiol. Surg., October, 2025

Object State Estimation Through Robotic Active Interaction for Biological Autonomous Drilling.
IEEE Robotics Autom. Lett., July, 2025

Autonomous Robotic Drilling System for Mice Cranial Window Creation.
IEEE Trans Autom. Sci. Eng., 2025

2023
Autonomous Robotic Drilling System for Mice Cranial Window Creation: An Evaluation with an Egg Model.
IROS, 2023


  Loading...