{"id":"https://openalex.org/W3010437763","doi":"https://doi.org/10.1145/3328778.3372544","title":"Deep Thought","display_name":"Deep Thought","publication_year":2020,"publication_date":"2020-02-25","ids":{"openalex":"https://openalex.org/W3010437763","doi":"https://doi.org/10.1145/3328778.3372544","mag":"3010437763"},"language":"en","primary_location":{"id":"doi:10.1145/3328778.3372544","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3328778.3372544","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 51st ACM Technical Symposium on Computer Science Education","raw_type":"proceedings-article"},"type":"conference-abstract","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057723517","display_name":"Mehak Maniktala","orcid":"https://orcid.org/0000-0002-8779-6616"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mehak Maniktala","raw_affiliation_strings":["North Carolina State University, Raleigh, NC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, NC, USA","institution_ids":["https://openalex.org/I137902535"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083076004","display_name":"Tiffany Barnes","orcid":"https://orcid.org/0000-0002-6500-9976"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tiffany Barnes","raw_affiliation_strings":["North Carolina State University, Raleigh, NC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"North Carolina State University, Raleigh, NC, USA","institution_ids":["https://openalex.org/I137902535"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I137902535"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1418","last_page":"1418"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11875","display_name":"Statistics Education and Methodologies","score":0.9715999960899353,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11122","display_name":"Online Learning and Analytics","score":0.9478999972343445,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/tutor","display_name":"TUTOR","score":0.8825229406356812},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6925010681152344},{"id":"https://openalex.org/keywords/intelligent-tutoring-system","display_name":"Intelligent tutoring system","score":0.665458083152771},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5845998525619507},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5133640170097351},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5123263597488403},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.5101809501647949},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4895535409450531},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.44179320335388184},{"id":"https://openalex.org/keywords/multimedia","display_name":"Multimedia","score":0.3319137990474701},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.32416415214538574},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.14064818620681763},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12738153338432312},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10939648747444153}],"concepts":[{"id":"https://openalex.org/C2778371403","wikidata":"https://www.wikidata.org/wiki/Q7672049","display_name":"TUTOR","level":2,"score":0.8825229406356812},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6925010681152344},{"id":"https://openalex.org/C2779336797","wikidata":"https://www.wikidata.org/wiki/Q3055492","display_name":"Intelligent tutoring system","level":2,"score":0.665458083152771},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5845998525619507},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5133640170097351},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5123263597488403},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.5101809501647949},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4895535409450531},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.44179320335388184},{"id":"https://openalex.org/C49774154","wikidata":"https://www.wikidata.org/wiki/Q131765","display_name":"Multimedia","level":1,"score":0.3319137990474701},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.32416415214538574},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.14064818620681763},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12738153338432312},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10939648747444153},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3328778.3372544","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3328778.3372544","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 51st ACM Technical Symposium on Computer Science Education","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.8199999928474426,"id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G7048124760","display_name":"Integrated Data-driven Technologies for Individualized Instruction in STEM Learning Environments","funder_award_id":"1726550","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1596001864","https://openalex.org/W1957838579","https://openalex.org/W1629355448","https://openalex.org/W1931182173","https://openalex.org/W2141180045","https://openalex.org/W2168747246","https://openalex.org/W2094385299","https://openalex.org/W2904998835","https://openalex.org/W2297158693","https://openalex.org/W88749063"],"abstract_inverted_index":{"Undergraduate":[0],"students":[1,98,197],"often":[2],"struggle":[3],"to":[4,55,76,112,171,174,186,228,233,239,241],"learn":[5,198],"optimal":[6,178],"logic":[7,95,102,122],"proof":[8],"solving":[9],"strategies":[10],"in":[11,43,118,192,206],"Discrete":[12],"Math":[13],"courses,":[14],"primarily":[15],"because":[16],"of":[17,21,46,62,220],"the":[18,22,38,41,44,74,136,140,144,160,172,189,218,242],"open-ended":[19],"nature":[20],"domain.":[23],"Students":[24],"can,":[25],"therefore,":[26],"benefit":[27],"from":[28],"personalized":[29,57],"tutoring,":[30],"where":[31,97,135,159],"they":[32,152],"can":[33],"receive":[34],"user-adaptive":[35],"support.":[36],"Over":[37],"past":[39],"decade,":[40],"advancements":[42],"field":[45],"intelligent":[47,85,115,190],"tutoring":[48,58,71,116],"systems":[49,72],"(ITSs)":[50],"have":[51,73,182],"made":[52,88],"it":[53],"possible":[54],"provide":[56,113],"with":[59],"minimal":[60],"involvement":[61],"a":[63,66,81,94,148,234],"teacher":[64],"or":[65,151],"human":[67],"expert.":[68],"While":[69],"such":[70],"potential":[75],"augment":[77],"student":[78,141,173],"learning":[79],"on":[80,130],"large":[82],"scale,":[83],"few":[84],"tutors":[86],"are":[87],"open":[89],"source.":[90],"Deep":[91,119,193,200],"Thought":[92,194,201],"is":[93,202,227],"tutor":[96,123,137,161,231],"practice":[99],"constructing":[100],"deductive":[101],"proofs.":[103],"Extensive":[104],"research":[105],"has":[106],"been":[107],"conducted":[108],"for":[109],"11":[110],"years":[111],"data-driven":[114,128],"support":[117,126,187],"Thought.":[120],"The":[121],"provides":[124],"adaptive":[125],"using":[127],"approaches":[129],"two":[131,211],"levels:":[132],"problem":[133,146],"level,":[134,158],"decides":[138,162],"whether":[139],"should":[142,153,168],"view":[143],"next":[145],"as":[147,238],"worked":[149],"example":[150],"solve":[154],"it,":[155],"and":[156,217],"step":[157,167],"when":[163],"an":[164],"unsolicited":[165],"partially-worked":[166],"be":[169],"provided":[170],"direct":[175],"them":[176],"towards":[177],"problem-solving":[179],"strategies.":[180],"We":[181],"found":[183],"encouraging":[184],"evidence":[185],"that":[188],"policies":[191],"help":[195],"undergraduate":[196],"logic.":[199],"currently":[203],"being":[204],"used":[205],"discrete":[207],"math":[208],"classes":[209],"at":[210,223],"universities:":[212],"North":[213,221],"Carolina":[214,222],"State":[215],"University,":[216],"University":[219],"Charlotte.":[224],"Our":[225],"aim":[226],"make":[229],"this":[230],"available":[232],"larger":[235],"audience":[236],"so":[237],"contribute":[240],"Computer":[243],"Science":[244],"Education":[245],"community.":[246]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2020-03-13T00:00:00"}