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
☾
☀
← all topics
overview
Formal Languages
loading…
🤖
Ask AI
Awesome Formal Languages — curated papers, datasets & benchmarks · Awesome AI for Code
← all topics
overview
Formal Languages
4 papers tagged Formal Languages — re-sort below
Papers
🔥 Trending (default)
📚 Most cited
🆕 Newest first
🔤 A → Z by title
4 papers · trending (default)
numbers = 🔥 heat
Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
(2026)
Ran Wei et al.
4.33
Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation
(2018)
John P. Gallagher et al.
—
Logram: Efficient Log Parsing Using n-Gram Dictionaries
(2020)
Hetong Dai (Concordia University) et al.
—
CertiStr: A Certified String Solver (technical report)
(2021)
Shuanglong Kan et al.
—