ACL

Theorem Prover as a Judge for Synthetic Data Generation

定理推理解释器作为合成数据生成的裁判

Joshua Ong Jun Leang, Giwon Hong, Wenda Li, Shay B. Cohen

机构 * School of Informatics, The University of Edinburgh（信息学院，爱丁堡大学） 纠错

AI总结 本研究提出TP-as-a-Judge和RLTPF方法，通过定理推理解释器提升LLM的合成数据生成与推理准确性。

Journal ref Proc. ACL 2025, pp. 29941-29977

When People are Floods: Analyzing Dehumanizing Metaphors in Immigration Discourse with Large Language Models

当人们是洪水：利用大型语言模型分析移民话语中的去人性化隐喻

Julia Mendelsohn, Ceren Budak

机构 * University of Maryland（马里兰大学） ； University of Michigan（密歇根大学） 纠错

AI总结 本文利用大型语言模型分析移民话语中的去人性化隐喻，探讨隐喻、政治意识形态与用户参与之间的关系。

Comments To appear at ACL 2025. Please cite ACL version when proceedings are available

Journal ref Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (2025) 8079-8103