{"id":3039,"date":"2021-08-12T13:04:56","date_gmt":"2021-08-12T13:04:56","guid":{"rendered":"https:\/\/blog.wabash.edu\/summerinternships\/?p=3039"},"modified":"2021-08-18T14:09:02","modified_gmt":"2021-08-18T14:09:02","slug":"didmanidze-23-research-assistant","status":"publish","type":"post","link":"https:\/\/blog.wabash.edu\/summerinternships\/2021\/08\/12\/didmanidze-23-research-assistant\/","title":{"rendered":"Didmanidze &#8217;23 &#8211; Research Assistant"},"content":{"rendered":"\n<figure class=\"wp-block-image size-large is-resized\"><a href=\"https:\/\/blog.wabash.edu\/summerinternships\/wp-content\/uploads\/sites\/8\/2021\/08\/IMG_1628-scaled.jpg\"><img fetchpriority=\"high\" decoding=\"async\" src=\"https:\/\/blog.wabash.edu\/summerinternships\/wp-content\/uploads\/sites\/8\/2021\/08\/IMG_1628-768x1024.jpg\" alt=\"\" class=\"wp-image-3040\" width=\"266\" height=\"355\" srcset=\"https:\/\/blog.wabash.edu\/summerinternships\/wp-content\/uploads\/sites\/8\/2021\/08\/IMG_1628-768x1024.jpg 768w, https:\/\/blog.wabash.edu\/summerinternships\/wp-content\/uploads\/sites\/8\/2021\/08\/IMG_1628-225x300.jpg 225w, https:\/\/blog.wabash.edu\/summerinternships\/wp-content\/uploads\/sites\/8\/2021\/08\/IMG_1628-1152x1536.jpg 1152w, https:\/\/blog.wabash.edu\/summerinternships\/wp-content\/uploads\/sites\/8\/2021\/08\/IMG_1628-1536x2048.jpg 1536w, https:\/\/blog.wabash.edu\/summerinternships\/wp-content\/uploads\/sites\/8\/2021\/08\/IMG_1628-scaled.jpg 1920w\" sizes=\"(max-width: 266px) 100vw, 266px\" \/><\/a><\/figure>\n\n\n\n<p><em>Dimitri Dimanidze &#8217;23 &#8212; <\/em>This summer, I worked as a research intern assisting professor McCartin-Lim. This was a life-changing experience for which I want to thank Wabash Career services, the Computer science department, and especially Professor McCartin-Lim.<\/p>\n\n\n\n<p><br>The research was called &#8220;Machine learning for proofs&#8221;. During the first month of the internship, we explored different paths we could explore. Teaching a machine learning model to prove something or to check a proof is like a big puzzle and many researchers around the world work on solving one piece of it. Therefore, we were looking for a problem we wanted to solve. Throughout this month I read research papers and then discussed the ideas with the professor.<\/p>\n\n\n\n<p><br>After a month of thinking and gathering tools and ideas, we settled on the task of teaching a transformer model to transform Boolean formulas into conjunctive normal form. The Transformer model is a state of art model in sequence-to-sequence NLP tasks, however, its potential with arithmetic or working with symbolic data has not been fully explored. our work serves as a kind of benchmark for the model, where we explore how well it performs and generalizes on formulas of different sizes. During the second month of the internship, I tinkered with a code of the Transformer model and ran experiments, gathering and discussing the results with the professor.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Dimitri Dimanidze &#8217;23 &#8212; This summer, I worked as a research intern assisting professor McCartin-Lim. This was a life-changing experience for which I want to thank Wabash Career services, the Computer science [&hellip;]<\/p>\n","protected":false},"author":179,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[107,109,1],"tags":[],"class_list":["post-3039","post","type-post","status-publish","format-standard","hentry","category-2021-summer-internships","category-academic-research","category-uncategorized"],"w_featured_image_url":"https:\/\/blog.wabash.edu\/summerinternships\/wp-content\/uploads\/sites\/8\/2021\/08\/IMG_1628-768x1024.jpg","_links":{"self":[{"href":"https:\/\/blog.wabash.edu\/summerinternships\/wp-json\/wp\/v2\/posts\/3039","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.wabash.edu\/summerinternships\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.wabash.edu\/summerinternships\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.wabash.edu\/summerinternships\/wp-json\/wp\/v2\/users\/179"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.wabash.edu\/summerinternships\/wp-json\/wp\/v2\/comments?post=3039"}],"version-history":[{"count":3,"href":"https:\/\/blog.wabash.edu\/summerinternships\/wp-json\/wp\/v2\/posts\/3039\/revisions"}],"predecessor-version":[{"id":3149,"href":"https:\/\/blog.wabash.edu\/summerinternships\/wp-json\/wp\/v2\/posts\/3039\/revisions\/3149"}],"wp:attachment":[{"href":"https:\/\/blog.wabash.edu\/summerinternships\/wp-json\/wp\/v2\/media?parent=3039"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.wabash.edu\/summerinternships\/wp-json\/wp\/v2\/categories?post=3039"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.wabash.edu\/summerinternships\/wp-json\/wp\/v2\/tags?post=3039"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}