{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T18:38:20Z","timestamp":1769107100407,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691620.3695015","type":"proceedings-article","created":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T15:39:19Z","timestamp":1729265959000},"page":"418-429","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Program Synthesis Meets Visual What-Comes-Next Puzzles"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6867-9035","authenticated-orcid":false,"given":"Sumit","family":"Lahiri","sequence":"first","affiliation":[{"name":"Indian Institute Of Technology Kanpur, Kanpur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5826-0030","authenticated-orcid":false,"given":"Pankaj Kumar","family":"Kalita","sequence":"additional","affiliation":[{"name":"Indian Institute Of Technology Kanpur, Kanpur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-6300-5494","authenticated-orcid":false,"given":"Akshay Kumar","family":"Chittora","sequence":"additional","affiliation":[{"name":"Indian Institute Of Technology Kanpur, Kanpur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-9644-0989","authenticated-orcid":false,"given":"Varun","family":"Vankudre","sequence":"additional","affiliation":[{"name":"Indian Institute Of Technology Kanpur, Kanpur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3394-023X","authenticated-orcid":false,"given":"Subhajit","family":"Roy","sequence":"additional","affiliation":[{"name":"Indian Institute Of Technology Kanpur, Kanpur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-32833-1_55"},{"key":"e_1_3_2_1_2_1","volume-title":"Automatically Generating Problems and Solutions for Natural Deduction. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence","author":"Ahmed Umair Z.","year":"2013","unstructured":"Umair Z. Ahmed, Sumit Gulwani, and Amey Karkare. 2013. Automatically Generating Problems and Solutions for Natural Deduction. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3--9, 2013, Francesca Rossi (Ed.). IJCAI\/AAAI, 1968--1975. http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6960"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v28i1.8745"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61425-0_39"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS","author":"Alvin Chris","year":"2017","unstructured":"Chris Alvin, Sumit Gulwani, Rupak Majumdar, and Supratik Mukhopadhyay. 2017. Synthesis of Solutions for Shaded Area Geometry Problems. In Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22--24, 2017, Vasile Rus and Zdravko Markov (Eds.). AAAI Press, 14--19. https:\/\/aaai.org\/ocs\/index.php\/FLAIRS\/FLAIRS17\/paper\/view\/15416"},{"key":"e_1_3_2_1_6_1","unstructured":"aptitude. 2023. Non-Verbal Reasoning Tests: Free Practice Questions & Tips. https:\/\/www.practiceaptitudetests.com\/non-verbal-reasoning-tests\/. (Accessed on 07\/09\/2023)."},{"key":"e_1_3_2_1_7_1","unstructured":"Arihant. 2022. Jawahar Navodaya Vidyalaya Entrance Exam 2022 Class 6 (For 2024 exam) | Arihant Publications. https:\/\/elearning.arihantbooks.com\/Jawahar-Navodaya-Vidyalaya-Entrance-Exam-2022-Class-6\/ebook-details?siteName=arihant&bookId=34342&preview=true. (Accessed on 07\/09\/2023)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoG47356.2020.9231552"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2702123.2702330"},{"key":"e_1_3_2_1_10_1","unstructured":"Deepmind. 2015. AlphaGo DeepMind. https:\/\/www.deepmind.com\/research\/highlighted-research\/alphago."},{"key":"e_1_3_2_1_11_1","unstructured":"Google Deepmind. 2016. AlphaGo: Mastering the ancient game of Go with Machine Learning - Google Research Blog. https:\/\/ai.googleblog.com\/2016\/01\/alphago-mastering-ancient-game-of-go.html."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2007052.2007080"},{"key":"e_1_3_2_1_13_1","unstructured":"Michael A. Dispezio. 1998. Visual Thinking Puzzles Book. https:\/\/www.amazon.in\/Visual-Thinking-Puzzles-Michael-DiSpezio\/dp\/0806999756. (Accessed on 07\/09\/2023)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88106-1_5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477314.3507177"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993505"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45221-5_31"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"F. Jelinek J. D. Lafferty and R. L. Mercer. 1992. Basic Methods of Probabilistic Context Free Grammars. In Speech Recognition and Understanding Pietro Laface and Renato De Mori (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 345--360.","DOI":"10.1007\/978-3-642-76626-8_35"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00371-013-0812-6"},{"key":"e_1_3_2_1_20_1","unstructured":"jyosiki. 2023. jyosiki puzzles link. https:\/\/jyosiki.com\/spi\/cab_hosoku.html. (Accessed on 07\/09\/2023)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477911.3477915"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3115\/1628275.1628277"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIP.2021.3120052"},{"key":"e_1_3_2_1_24_1","volume-title":"Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. arXiv preprint arXiv:1907.05878","author":"Murali Adithya","year":"2019","unstructured":"Adithya Murali, Atharva Sehgal, Paul Krogmeier, and P Madhusudan. 2019. Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. arXiv preprint arXiv:1907.05878 (2019)."},{"key":"e_1_3_2_1_25_1","unstructured":"NMAT. 2023. NMAT Inductive Reasoning Practice Test - FilipiKnow. https:\/\/filipiknow.net\/nmat-inductive-reasoning-practice-test\/comment-page-1\/. (Accessed on 07\/09\/2023)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548659.3561305"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412452.3423570"},{"key":"e_1_3_2_1_28_1","unstructured":"puzzle solving. 2023. Series Easy Questions and Answers | Page - 1. https:\/\/interviewmania.com\/non-verbal-reasoning\/series. (Accessed on 07\/09\/2023)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","unstructured":"PuzzleGen. 2024. #17 Artifact for Program Synthesis Meets Visual What-Comes-Next Puzzles. 10.5281\/zenodo.13370009","DOI":"10.5281\/zenodo.13370009"},{"key":"e_1_3_2_1_30_1","unstructured":"Visual Puzzles. 2001. Visual Puzzles 6. https:\/\/www.kobo.com\/in\/en\/ebook\/visual-puzzles-6. (Accessed on 07\/09\/2023)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3472672.3473952"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v26i1.8341"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"e_1_3_2_1_34_1","unstructured":"IQ Tester. 2023. IQ Tester puzzle example. https:\/\/myiqtester.com\/img\/exos\/12\/ex.png. (Accessed on 07\/09\/2023)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LIX.236.433"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3555858.3555898"}],"event":{"name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering","location":"Sacramento CA USA","acronym":"ASE '24","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695015","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3695015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:06Z","timestamp":1750291446000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":36,"alternative-id":["10.1145\/3691620.3695015","10.1145\/3691620"],"URL":"https:\/\/doi.org\/10.1145\/3691620.3695015","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}