Content deleted Content added
→Benchmark: removed some since they are better placed at the Lists |
added Category:Automated reasoning using HotCat |
||
Line 115:
[[Category:Machine learning]]
[[Category:Large language models]]
[[Category:Automated reasoning]]
|