Suchergebnisse - "Computing methodologies → Knowledge representation and reasoning"

Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements von Fazelnia, Mohamad, Mirakhorli, Mehdi, Bagheri, Hamid

“… Detecting conflicting requirements early in the software development lifecycle is crucial to mitigating risks of system failures and enhancing overall …”
Volltext

GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models von Zhang, Zhibo, Bai, Wuxia, Li, Yuxi, Meng, Mark Huasong, Wang, Kailong, Shi, Ling, Li, Li, Wang, Jun, Wang, Haoyu

“… Large language models (LLMs) have achieved unprecedented success in the field of natural language processing. However, the black-box nature of their internal …”
Volltext