1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Yichen Tao, Hongfei Fu, Jiawei Chen +1
Floating-point round-off errors are ubiquitous in numerically intensive programs arising in fields such as scientific computing and optimization. As floating-point errors potential…
cs.PL2023★ 1 cited
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding
Zhongye Wang, Qinxiang Cao, Yichen Tao
Many foundational program verification tools have been developed to build machine-checked program correctness proofs, a majority of which are based on Hoare logic. Their program lo…