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:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

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
A Comprehensive Evaluation on Event Reasoning of Large Language Models.
CoRR, 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


  Loading...