Yang, C., Zhang, X., Huang, Y., Han, B., Kong, S., Zhang, S., Patil, V. P., Han, Z., Bohlke-Schneider, M., & Wang, B. (2026). TCSAlgBench: قياس الإثبات الآلي لعلوم الحاسوب النظرية على مستوى البحث. https://omanscience.com/ar/articles/tcsalgbench-benchmarking-automated-proving-for-research-level-theoretical-computer-science