{"id":"https://openalex.org/W7146974231","doi":"https://doi.org/10.48550/arxiv.2603.27076","title":"When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring","display_name":"When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring","publication_year":2026,"publication_date":"2026-03-28","ids":{"openalex":"https://openalex.org/W7146974231","doi":"https://doi.org/10.48550/arxiv.2603.27076"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.27076","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.27076","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.27076","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5132684445","display_name":"Tahreem Yasir","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yasir, Tahreem","raw_affiliation_strings":["DK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DK","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092401357","display_name":"Sutapa Dey Tithi","orcid":"https://orcid.org/0009-0007-5815-882X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tithi, Sutapa Dey","raw_affiliation_strings":["DK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DK","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132655854","display_name":"Benyamin Tabarsi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tabarsi, Benyamin","raw_affiliation_strings":["DK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DK","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119256259","display_name":"Dmitri Droujkov","orcid":"https://orcid.org/0009-0008-3561-7509"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Droujkov, Dmitri","raw_affiliation_strings":["DK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DK","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132543279","display_name":"Sam Gilson Yasitha Rajapaksha","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rajapaksha, Sam Gilson Yasitha","raw_affiliation_strings":["DK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DK","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070231318","display_name":"Xiaoyi Tian","orcid":"https://orcid.org/0000-0002-5045-0136"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tian, Xiaoyi","raw_affiliation_strings":["DK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DK","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132669413","display_name":"Arun Ramesh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ramesh, Arun","raw_affiliation_strings":["DK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DK","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132650525","display_name":"DongKuan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"DongKuan","raw_affiliation_strings":["DK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DK","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132687642","display_name":"Xu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5132553405","display_name":"Tiffany Barnes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Barnes, Tiffany","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.41370001435279846,"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/T10028","display_name":"Topic Modeling","score":0.41370001435279846,"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.20080000162124634,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.0640999972820282,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.5931000113487244},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5848000049591064},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5774000287055969},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5636000037193298},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.5439000129699707},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5008000135421753},{"id":"https://openalex.org/keywords/tutor","display_name":"TUTOR","score":0.4763000011444092},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4043000042438507},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.3822000026702881}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7809000015258789},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.5931000113487244},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5848000049591064},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5774000287055969},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5742999911308289},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5636000037193298},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.5439000129699707},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5008000135421753},{"id":"https://openalex.org/C2778371403","wikidata":"https://www.wikidata.org/wiki/Q7672049","display_name":"TUTOR","level":2,"score":0.4763000011444092},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4043000042438507},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.3822000026702881},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.36800000071525574},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.36070001125335693},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3562000095844269},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35370001196861267},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.34769999980926514},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.34369999170303345},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.31630000472068787},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3118000030517578},{"id":"https://openalex.org/C191172861","wikidata":"https://www.wikidata.org/wiki/Q7899321","display_name":"Upstream (networking)","level":2,"score":0.3082999885082245},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.30720001459121704},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29190000891685486},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2833000123500824},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.2694999873638153},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.26739999651908875},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.2515999972820282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.27076","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.27076","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.27076","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.27076","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.8151752948760986}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"language":[1],"models":[2],"(LLMs)":[3],"are":[4],"increasingly":[5],"used":[6],"for":[7,23],"automated":[8],"tutoring,":[9,165],"but":[10,118],"their":[11],"reliability":[12],"in":[13],"structured":[14],"symbolic":[15,30],"domains":[16],"remains":[17],"unclear.":[18],"We":[19,39,79],"study":[20],"step-level":[21,50],"feedback":[22,73,113,128],"propositional":[24],"logic":[25],"proofs,":[26],"which":[27],"require":[28],"precise":[29],"reasoning":[31],"aligned":[32],"with":[33,49,84],"a":[34,41,105,136],"learner's":[35],"current":[36],"proof":[37,47,147],"state.":[38],"introduce":[40],"knowledge-graph-grounded":[42],"benchmark":[43],"of":[44,72,99],"516":[45],"unique":[46],"states":[48,148],"annotations":[51],"and":[52,96,176],"difficulty":[53],"metrics.":[54],"Unlike":[55],"prior":[56],"tutoring":[57],"evaluations":[58],"that":[59,157,170],"rely":[60],"on":[61,146],"model":[62,141],"self-assessment":[63],"or":[64,142,160],"binary":[65],"correctness,":[66],"our":[67],"framework":[68],"enables":[69],"fine-grained":[70],"analysis":[71],"quality":[74],"against":[75],"verified":[76],"solution":[77,86,90],"paths.":[78],"evaluate":[80],"three":[81],"role-specialized":[82],"pipelines":[83],"varying":[85],"access:":[87],"Tutor":[88,100],"(partial":[89],"access),":[91,95],"Teacher":[92],"(full":[93],"derivation":[94],"Judge":[97],"(verification":[98],"feedback).":[101],"Our":[102],"results":[103],"reveal":[104],"striking":[106],"asymmetry:":[107],"verification":[108],"improves":[109,164],"outcomes":[110],"when":[111,127],"upstream":[112,177],"is":[114,129],"error-prone":[115],"(<70%":[116],"accuracy),":[117],"degrades":[119],"performance":[120],"by":[121,173],"4-6":[122],"percentage":[123],"points":[124],"through":[125],"over-specification":[126],"already":[130],"reliable":[131],"(>85%).":[132],"Critically,":[133],"we":[134],"identify":[135],"shared":[137],"complexity":[138,150,175],"ceiling;":[139],"no":[140],"pipeline":[143],"reliably":[144],"succeeds":[145],"exceeding":[149],"4-5.":[151],"These":[152],"findings":[153],"challenge":[154],"the":[155],"assumption":[156],"adding":[158],"verifiers":[159],"richer":[161],"context":[162],"universally":[163],"motivating":[166],"adaptive,":[167],"difficulty-aware":[168],"architectures":[169],"route":[171],"problems":[172],"estimated":[174],"reliability.":[178]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-02T00:00:00"}