Tiankai Su

Identifiers

• name variant Tiankai Su 0.50 · backfill

Papers (1)

1. Spectral Approach to Verifying Non-linear Arithmetic Circuits cs.SC · 2019 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Atif Yasin 1 shared papers
• Cunxi Yu 1 shared papers
• Maciej Ciesielski 1 shared papers