Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Weidi Sun
Institution:
Peking University
Observed institution:
Peking University
OpenAlex ID:
A5139847672
Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis
2026
·
Cheng Wen
, Hu Junjie
, et al.
·
Proceedings of the conference - Association for Computational Linguistics. Meeting
·
5
PDF
Show more works
View as search
Works count:
1
Citation count:
5
H-index:
1
I10-index:
Year
Topic
Type
