f

formal logic

ConceptMentioned in 1 video

A specific subject area within the MMLU benchmark that GPT-3 struggled with significantly. The speaker uses it as a challenging test case for Smart GPT.

Videos Mentioning formal logic

GPT 4 is Smarter than You Think: Introducing SmartGPT

GPT 4 is Smarter than You Think: Introducing SmartGPT

AI Explained

A specific subject area within the MMLU benchmark that GPT-3 struggled with significantly. The speaker uses it as a challenging test case for Smart GPT.