{
    "componentChunkName": "component---src-templates-note-note-js",
    "path": "/notes/ARC-AGI",
    "result": {"data":{"mdx":{"body":"var _excluded = [\"components\"];\nfunction _extends() { _extends = Object.assign ? Object.assign.bind() : function (target) { for (var i = 1; i < arguments.length; i++) { var source = arguments[i]; for (var key in source) { if (Object.prototype.hasOwnProperty.call(source, key)) { target[key] = source[key]; } } } return target; }; return _extends.apply(this, arguments); }\nfunction _objectWithoutProperties(source, excluded) { if (source == null) return {}; var target = _objectWithoutPropertiesLoose(source, excluded); var key, i; if (Object.getOwnPropertySymbols) { var sourceSymbolKeys = Object.getOwnPropertySymbols(source); for (i = 0; i < sourceSymbolKeys.length; i++) { key = sourceSymbolKeys[i]; if (excluded.indexOf(key) >= 0) continue; if (!Object.prototype.propertyIsEnumerable.call(source, key)) continue; target[key] = source[key]; } } return target; }\nfunction _objectWithoutPropertiesLoose(source, excluded) { if (source == null) return {}; var target = {}; var sourceKeys = Object.keys(source); var key, i; for (i = 0; i < sourceKeys.length; i++) { key = sourceKeys[i]; if (excluded.indexOf(key) >= 0) continue; target[key] = source[key]; } return target; }\n/* @jsxRuntime classic */\n/* @jsx mdx */\n\nvar _frontmatter = {};\nvar layoutProps = {\n  _frontmatter: _frontmatter\n};\nvar MDXLayout = \"wrapper\";\nreturn function MDXContent(_ref) {\n  var components = _ref.components,\n    props = _objectWithoutProperties(_ref, _excluded);\n  return mdx(MDXLayout, _extends({}, layoutProps, props, {\n    components: components,\n    mdxType: \"MDXLayout\"\n  }), mdx(\"p\", null, \"The Abstraction and Reasoning Corpus (\", mdx(\"em\", {\n    parentName: \"p\"\n  }, \"ARC\"), \")\"), mdx(\"p\", null, mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"https://www.youtube.com/watch?v=jSAT_RuJ_C\"\n  }, \"https://www.youtube.com/watch?v=jSAT_RuJ_C\")), mdx(\"ol\", null, mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"you need reasoning when there is an explicit knowledge gap\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"reasoning is knowledge acquisition\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"if you can broadly expand your horizons from a few examples, normalised by the amount of priors and experiences you have, then its intelligence\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"human intelligence is non computable?\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"the basic formalism is non computable\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"generalisation efficiency or knowledge acquisition efficiency\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"statistical or perceptual shortcuts\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"sparse problem\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"bongard problems\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"core knowledge and combinations of the same\", mdx(\"ol\", {\n    parentName: \"li\"\n  }, mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"objectness priors\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"goal-directness priors\"))), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"domain specific language\", mdx(\"ol\", {\n    parentName: \"li\"\n  }, mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"unary functions on grid\"))), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"patterns\", mdx(\"ol\", {\n    parentName: \"li\"\n  }, mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"symmetry\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"movement\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"denoising\"))), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"hamming distance\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"dreamcoder by Kevin Ellis\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"functional type system\", mdx(\"ol\", {\n    parentName: \"li\"\n  }, mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"valid syntax and valid typed syntax\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"cut down the space of possible programs to be generated\"))), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"in natural world simple things seem to generalise and work much better than complex things\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"repository of crystallized intelligence\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"fluid intelligence\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"type 1 and type 2 problems\", mdx(\"ol\", {\n    parentName: \"li\"\n  }, mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"system 1 and system 2\"))), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"brittleness of LLMs \"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"representation space\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"will acquisition efficiency \"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"reasoning is a search problem\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"perceptual problems with infinite possibilities\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"building a library of core knowledge and then classify the problem of objective and then do a search for the same \"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"skill templates and generalising well\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"llm wide range shallow generalisation \"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"symbolic representation narrow but deep \"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"generate data to run more fundamental experiments\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"what is active inference?\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"universal Transformers\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"algorithmic learning\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"self attention\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"cross attention\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"discover the weakness of the model and then see how you can mitigate it using synthetic data? \"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"inductive priors\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"discrete program search\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"flexible search\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"measure of intelligence\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"cognitive resolution\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"you need priors to learn\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"generalisation must be normalised by price and experience\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"cognition\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"the solutions in kaggle didn't generalise outside the instance of the problem\"), mdx(\"li\", {\n    parentName: \"ol\"\n  }, \"ingenious creativity in the moment\"), mdx(\"li\", {\n    parentName: \"ol\"\n  })), mdx(\"h2\", null, \"References\"), mdx(\"ol\", null, mdx(\"li\", {\n    parentName: \"ol\"\n  }, mdx(\"a\", {\n    parentName: \"li\",\n    \"href\": \"https://arxiv.org/abs/2402.03507#:~:text=While%20specific%20neural%20networks%20are,of%20abstract%20visual%20reasoning%20tasks\"\n  }, \"https://arxiv.org/abs/2402.03507#:~:text=While%20specific%20neural%20networks%20are,of%20abstract%20visual%20reasoning%20tasks\")), mdx(\"li\", {\n    parentName: \"ol\"\n  })));\n}\n;\nMDXContent.isMDXComponent = true;","inboundReferences":[]}},"pageContext":{"slug":"ARC-AGI","node":{"childMdx":{"slug":"ARC-AGI"}}}},
    "staticQueryHashes": []}