Author

Bo Zhao

h-index 0 View on Semantic Scholar

We have 2 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

ProofGap: Benchmarking Step-Level Formal Reasoning with Local Obligations Derived from Natural-Language Solutions

ProofGap is a fine-grained benchmark for step-level formal reasoning constructed through a natural-language proof-processing pipeline that decomposes each reasoning step into one or more aligned proof gaps, enabling more precise localization of model failures.

Li-Han Xie, Zhi-Cheng Hui, Ying-Jun Lan et al. · 0 citations

#machine learning Preprint Sep 2026

Repairability of Inexact Solvers in Recursive State Estimation with Machine Learning

Recursive state estimation often executes approximate numerical solutions inside a feedback loop, where highly accurate local steps do not guarantee better overall results. For a fixed linear Kalman model, we characterize when a correction within a prescribed subspace and norm budget can meet a local admissibility tole...

Yanjun Ji, D. Willsch, Orkun Şensebat et al. · 0 citations