Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Xiao Zhu | Lattice

Xiao Zhu

LARK Lab, HKUST(GZ)

Papers on Lattice

1

Total citations

0

Topics

2

Publication activitypapers/week, last 8 weeks

Research focus

Eval Frameworks & Benchmarks (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Haocheng Wang (1)Baiyu Huang (1)Xiaoyang Liu (1)Yinya Huang (1)

Papers (1)

Jul 6, 2026

1w ago

FormalRx: Rectify and eXamine Semantic Failures in Autoformalization

FormalRx transforms opaque autoformalization evaluations into clear, actionable insights, enabling targeted improvements in formal reasoning systems.

Haocheng Wang, Baiyu Huang, Xiao Zhu +3

Eval Frameworks & Benchmarks Reasoning & Chain-of-Thought

Zhijiang Guo (1)