Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2503.04779
Cited By
Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
22 February 2025
Thanh Le-Cong
Bach Le
Toby Murray
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference"
1 / 1 papers shown
Title
The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs
Haonan Li
Hang Zhang
Kexin Pei
Zhiyun Qian
56
1
0
16 Apr 2025
1
