{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/abstract-visual-reasoning-an-algebraic","title":"Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices","arxiv_id":"2303.11730","date":"2023-03-21","proceeding":"CVPR 2023 1","authors":["Jingyi Xu","Tushar Vaidya","Yufei Wu","Saket Chandra","Zhangsheng Lai","Kai Fong Ernest Chong"],"abstract":"We introduce algebraic machine reasoning, a new reasoning framework that is well-suited for abstract reasoning. Effectively, algebraic machine reasoning reduces the difficult process of novel problem-solving to routine algebraic computation. The fundamental algebraic objects of interest are the ideals of some suitably initialized polynomial ring. We shall explain how solving Raven's Progressive Matrices (RPMs) can be realized as computational problems in algebra, which combine various well-known algebraic subroutines that include: Computing the Gr\\\"obner basis of an ideal, checking for ideal containment, etc. Crucially, the additional algebraic structure satisfied by ideals allows for more operations on ideals beyond set-theoretic operations. Our algebraic machine reasoning framework is not only able to select the correct answer from a given answer set, but also able to generate the correct answer with only the question matrix given. Experiments on the I-RAVEN dataset yield an overall $93.2\\%$ accuracy, which significantly outperforms the current state-of-the-art accuracy of $77.0\\%$ and exceeds human performance at $84.4\\%$ accuracy.","url_abs":"https://arxiv.org/abs/2303.11730v1","url_pdf":"https://arxiv.org/pdf/2303.11730v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"abstract-visual-reasoning-an-algebraic","repo_url":"https://github.com/xu-jingyi/algebraicmr","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"pytorch","reach":null}],"tasks":[{"task_slug":"visual-reasoning","task_name":"Visual Reasoning"}],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":"https://syntology.ai/paper/2303.11730","atlas_url":"https://app.syntology.ai/?focus=2303.11730","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2303.11730"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-25T09:33:49+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/xu-jingyi/algebraicmr","reach":null}],"summary":{"ran_draft_wrong":1,"unverified":1},"by_repo_kind":{"official":{"samples":2,"ran":1,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":2,"samples":[{"code_sha256_prefix":"1005c37b5ba52b5b","entry":"createIdealString","repo":"xu-jingyi/algebraicmr","repo_kind":"official","path":"m2interface.py","file_url":"https://github.com/xu-jingyi/algebraicmr/blob/HEAD/m2interface.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"1005c37b5ba52b5b"}},{"code_sha256_prefix":"5414e759b363af0c","entry":"solve","repo":"xu-jingyi/algebraicmr","repo_kind":"official","path":"m2interface.py","file_url":"https://github.com/xu-jingyi/algebraicmr/blob/HEAD/m2interface.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"5414e759b363af0c"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}