Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Bin Yu
OpenAlex ID:
A5139778946
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
Bridging Kernel Drivers and Virtual Device Models with LLM-Powered Automation
2026
·
Mingyu Wang
, Bin Yu
, et al.
·
Proceedings of the conference - Association for Computational Linguistics. Meeting
PDF
MR-ALIGN: Meta-Reasoning Informed Factuality Alignment for Large Reasoning Models
2026
·
Xinming Wang
, Jian Xu
, et al.
·
Findings of the Association for Computational Linguistics: ACL (Findings of ACL)
PDF
Show more works
View as search
Works count:
3
Citation count:
5
H-index:
1
I10-index:
Year
Topic
Type
