Author

Liangtao Dai

3 papers indexed here

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

SLED-IFV: Solver-Validated LLM-Guided Decomposition for Scalable Hardware Information-Flow Verification

Formal hardware information-flow verification (IFV) provides strong guarantees against secret-dependent timing and control behavior, but often scales poorly on realistic RTL. We identify two recurring proof barriers in self-composed IFV: implementation complexity, where proof-hard datapath logic dominates even though t...

Liangtao Dai, Yimin Gao, Melika Morsali et al. · 0 citations

Preprint Jul 2026

Delayed Coupling Restores Ising Phase Dynamics in Physical Oscillator Networks

Oscillator-based Ising machines, in which the phases of coupled self-sustaining oscillators evolve toward decreasing an Ising Hamiltonian, are commonly interpreted as physical realizations of the Ising model. This interpretation, however, requires the phase dynamics generated by the physical oscillator network to match...

Yi Cheng, Liangtao Dai, Mircea R. Stan et al. · 0 citations

Preprint Sep 2026

FlexPosit: Tunable Fractional Precision for LLM Inference Accelerators

FlexPosit is a unified bit-serial systolic array with lightweight per-column decoders, unified Processing Elements (PEs), and a global precision controller, enabling tunable fractional precision while preserving fully regular systolic dataflow.

Yimin Gao, Liangtao Dai, Jun Yin et al. · 0 citations