Ninghan Zhong

Identifiers

• name variant Ninghan Zhong 0.60 · backfill

Papers (2)

1. VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification cs.AI · 2026 · author #1
2. Bench-Push: Benchmarking Pushing-based Navigation and Manipulation Tasks for Mobile Robots cs.RO · 2025 · author #1

Mentions

• 2606.24124 #1 · arxiv_oai · confidence 0.70 Ninghan Zhong
• 2512.11736 #1 · arxiv_oai · confidence 0.70 Ninghan Zhong

Frequent Coauthors

• Ahmet Ege Tanriverdi 1 shared papers
• Avraiem Iskandar 1 shared papers
• Kaan Kale 1 shared papers
• Megnath Ramesh 1 shared papers
• Rishi Bhatnagar 1 shared papers
• Sriram Vishwanath 1 shared papers
• Stephen L. Smith 1 shared papers
• Steven Caro 1 shared papers