Yue Fang
Affiliations:- Peking University, School of Computer Science, Key Laboratory of High Confidence Software Technologies, Beijing, China
According to our database1,
Yue Fang authored at least 6 papers
between 2022 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification.
CoRR, May, 2026
RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation.
Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026
2025
NL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning.
Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025
Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge.
Proceedings of the Findings of the Association for Computational Linguistics, 2025
2024
2022
From spoken dialogue to formal summary: An utterance rewriting for dialogue summarization.
Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022