Awesome AI for Code
📄
Papers
🧭
Topics
🔥
Trending
🗺️
Map
🏆
Leaderboards
🎓
Learn
🤖
Ask AI
⋯
More
👥
Authors
📚
Reading Packs
📊
Datasets
🛠️
Tools
📰
News
📝
Blogs
✉️
Newsletter
🎯
Research Radar
🔖
Saved
+ Add Paper
☾
☀
← authors
·
overview
Loading author…
🤖
Ask AI
Jianan Yao — most-cited papers & profile · AI for Code
← authors
·
overview
Jianan Yao
7
papers ·
5
citations
Google Scholar ↗
Semantic Scholar ↗
OpenAlex ↗
Most-cited papers
ExVerus: Verus Proof Repair via Counterexample Reasoning
2026
A Neurosymbolic Approach to Natural Language Formalization and Verification
2025
Leveraging Large Language Models for Automated Proof Synthesis in Rust
2023
Topics
Evaluation
Code
Efficiency
Prompting
Training Techniques
Safety
Benchmarks
RAG
In-Context Learning