pith. sign in

Jianan Yao

Identifiers

  • name variant Jianan Yao 0.60 · backfill

Papers (9)

  1. AutoVerus: Automated Proof Generation for Rust Code cs.SE · 2024 · author #4
  2. Detecting Buggy Contracts via Smart Testing cs.SE · 2024 · author #2
  3. Leveraging Large Language Models for Automated Proof Synthesis in Rust cs.FL · 2023 · author #1
  4. A robust and high precision algorithm for elastic scattering problems from cornered domains math.NA · 2023 · author #1
  5. Giallar: Push-Button Verification for the Qiskit Quantum Compiler cs.PL · 2022 · author #3
  6. Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version) cs.PL · 2021 · author #3
  7. SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts cs.PL · 2021 · author #3
  8. Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version) cs.SE · 2020 · author #1
  9. CLN2INV: Learning Loop Invariants with Continuous Logic Networks cs.LG · 2019 · author #3

Mentions

  • 2409.13082 #4 · arxiv_oai · confidence 0.70 Jianan Yao
  • 2409.04597 #2 · arxiv_oai · confidence 0.70 Jianan Yao
  • 2311.03739 #1 · arxiv_oai · confidence 0.70 Jianan Yao
  • 2310.11349 #1 · arxiv_oai · confidence 0.70 Jianan Yao
  • 2205.00661 #3 · arxiv_oai · confidence 0.70 Jianan Yao
  • 2104.06349 #3 · arxiv_oai · confidence 0.70 Jianan Yao
  • 2103.02209 #3 · arxiv_oai · confidence 0.70 Jianan Yao
  • 2003.07959 #1 · arxiv_oai · confidence 0.70 Jianan Yao
  • 1909.11542 #3 · arxiv_oai · confidence 0.70 Jianan Yao

Frequent Coauthors