Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving

no code implementations • COLING (TextGraphs) 2022 • Doratossadat Dastgheib, Ehsaneddin Asgari

Extraction of supportive premises for a mathematical problem can contribute to profound success in improving automatic reasoning systems.

Automated Theorem Proving Information Retrieval +2

Khayyam Challenge (PersianMMLU): Is Your LLM Truly Wise to The Persian Language?

no code implementations • 9 Apr 2024 • Omid Ghahroodi, Marzia Nouri, Mohammad Vali Sanian, Alireza Sahebi, Doratossadat Dastgheib, Ehsaneddin Asgari, Mahdieh Soleymani Baghshah, Mohammad Hossein Rohban

Evaluating Large Language Models (LLMs) is challenging due to their generative nature, necessitating precise evaluation methodologies.

Descriptive Information Retrieval

The Touché23-ValueEval Dataset for Identifying Human Values behind Arguments

1 code implementation • 31 Jan 2023 • Nailia Mirzakhmedova, Johannes Kiesel, Milad Alshomary, Maximilian Heinrich, Nicolas Handke, Xiaoni Cai, Barriere Valentin, Doratossadat Dastgheib, Omid Ghahroodi, Mohammad Ali Sadraei, Ehsaneddin Asgari, Lea Kawaletz, Henning Wachsmuth, Benno Stein

We present the Touch\'e23-ValueEval Dataset for Identifying Human Values behind Arguments.

Some Doxastic Łukasiewicz Logic

no code implementations • 4 Nov 2021 • Doratossadat Dastgheib, Hadi Farahani

Furthermore, completeness of these extensions are established corresponding to the appropriate classes of models.