Výsledky vyhledávání - "Computing methodologies, Knowledge representation and reasoning"

Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements Autor 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…”
Získat plný text

GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models Autor 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…”
Získat plný text