Research author

Ting Zhang

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Ting Zhang

Jun 26, 2026
cs.AI

Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing

Can Li, Ting Zhang, Junbo Zhao, et al.

Ting Zhang — AI Research Papers | One9Founders