2 papers
cs.PL2026
Rewrite System Showdown: Stochastic Search vs. EqSat
Qiantan Hong, Rupanshu Soi, Yihong Zhang +1
Equality saturation has become a dominant paradigm for equational program optimization. However, it has never been rigorously compared to another approach to the same problem, even…
cond-mat.mes-hall2025
Linear-in-temperature conductance in two-dimensional electron fluids
Serhii Kryhin, Qiantan Hong, Leonid Levitov
Linear temperature dependence of transport coefficients in metals is often ascribed to non-Fermi-liquid physics. Here we demonstrate the -linear behavior of nonlocal conductivit…