10 citations · 11 across the 4 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023★ 1 cited
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen +1
Formal verification can provably guarantee the correctness of critical system software, but the high proof burden has long hindered its wide adoption. Recently, Large Language Mode…
math.NA2023
A robust and high precision algorithm for elastic scattering problems from cornered domains
Jianan Yao, Baoling Xie, Jun Lai
The Navier equation is the governing equation of elastic waves, and computing its solution accurately and rapidly has a wide range of applications in geophysical exploration, mater…