Xinhao Zheng

Neural-Guided Enumerative SAT Framework for Cryptographic Key Recovery

Let's Explore Step by Step: Generating Provable Formal Statements with Deductive Exploration

Rethinking and Improving Autoformalization: Towards a Faithful Metric and a Dependency Retrieval-based Approach

Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization

Towards Attributions of Input Variables in a Coalition