Content deleted Content added
added Category:Automated reasoning using HotCat |
|||
Line 101:
* [[Automated theorem proving]]
* [[Automated reasoning]]
* [[Reflection (artificial intelligence)]]
* [[Large language model]]
|
added Category:Automated reasoning using HotCat |
|||
Line 101:
* [[Automated theorem proving]]
* [[Automated reasoning]]
* [[Reflection (artificial intelligence)]]
* [[Large language model]]
|