{"id":"https://openalex.org/W7161018907","doi":"https://doi.org/10.48550/arxiv.2605.12159","title":"ALGOGEN: Tool-Generated Verifiable Traces for Reliable Algorithm Visualization","display_name":"ALGOGEN: Tool-Generated Verifiable Traces for Reliable Algorithm Visualization","publication_year":2026,"publication_date":"2026-05-12","ids":{"openalex":"https://openalex.org/W7161018907","doi":"https://doi.org/10.48550/arxiv.2605.12159"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.12159","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12159","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":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.12159","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039371676","display_name":"Keyue Liao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liao, Kunpeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136071830","display_name":"Yuexiao Ma","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ma, Yuexiao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136009208","display_name":"Yisheng Lin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lin, Yisheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136087953","display_name":"Hualin Zeng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zeng, Hualin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054226277","display_name":"Xiawu Zheng","orcid":"https://orcid.org/0000-0002-6855-5403"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zheng, Xiawu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136054539","display_name":"Rongrong Ji","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ji, Rongrong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":6,"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/T10533","display_name":"Teaching and Learning Programming","score":0.7042999863624573,"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"}},"topics":[{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.7042999863624573,"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"}},{"id":"https://openalex.org/T10799","display_name":"Data Visualization and Analytics","score":0.1307000070810318,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11574","display_name":"Artificial Intelligence in Games","score":0.018200000748038292,"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/visualization","display_name":"Visualization","score":0.6151000261306763},{"id":"https://openalex.org/keywords/rendering","display_name":"Rendering (computer graphics)","score":0.5695000290870667},{"id":"https://openalex.org/keywords/json","display_name":"JSON","score":0.5587999820709229},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.47769999504089355},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.33399999141693115},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.33009999990463257}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.857699990272522},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.6151000261306763},{"id":"https://openalex.org/C205711294","wikidata":"https://www.wikidata.org/wiki/Q176953","display_name":"Rendering (computer graphics)","level":2,"score":0.5695000290870667},{"id":"https://openalex.org/C2780416260","wikidata":"https://www.wikidata.org/wiki/Q2063","display_name":"JSON","level":2,"score":0.5587999820709229},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48559999465942383},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.47769999504089355},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.33399999141693115},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.33009999990463257},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2973000109195709},{"id":"https://openalex.org/C159379195","wikidata":"https://www.wikidata.org/wiki/Q7239568","display_name":"Precomputation","level":3,"score":0.28940001130104065},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28200000524520874},{"id":"https://openalex.org/C186967261","wikidata":"https://www.wikidata.org/wiki/Q5082128","display_name":"Mobile device","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C106516650","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm design","level":2,"score":0.27219998836517334},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.27140000462532043},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26809999346733093},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.25929999351501465},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.12159","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12159","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":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.12159","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12159","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":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Algorithm":[0],"Visualization":[1,85],"(AV)":[2],"helps":[3],"students":[4],"build":[5],"mental":[6],"models":[7],"by":[8],"animating":[9],"algorithm":[10,35,78,92,106,128,135,196],"execution":[11,58,79],"states.":[12],"Recent":[13],"LLM-based":[14],"systems":[15],"such":[16,42],"as":[17,43],"CODE2VIDEO":[18],"generate":[19],"AV":[20,149,184],"videos":[21,199],"in":[22,56,182,204],"an":[23,156],"end-to-end":[24,165],"manner.":[25],"However,":[26],"this":[27],"paradigm":[28,75,177],"requires":[29],"the":[30,205],"system":[31],"to":[32,126,164],"simultaneously":[33],"simulate":[34],"flow":[36,107],"and":[37,46,63,95,108,200],"satisfy":[38],"video":[39],"rendering":[40],"constraints,":[41],"element":[44,61],"layout":[45],"color":[47],"schemes.":[48],"This":[49],"complex":[50,183],"task":[51],"induces":[52],"LLM":[53,98,180],"hallucinations,":[54],"resulting":[55],"reduced":[57],"success":[59,158],"rates,":[60],"overlap,":[62],"inter-frame":[64],"inconsistencies.":[65],"To":[66],"address":[67],"these":[68],"challenges,":[69],"we":[70,119],"propose":[71],"ALGOGEN,":[72],"a":[73,89,101,112,121,147,187],"novel":[74],"that":[76,104,174],"decouples":[77],"from":[80],"rendering.":[81],"We":[82],"first":[83],"introduce":[84],"Trace":[86],"Algebra":[87],"(VTA),":[88],"monoid":[90],"over":[91],"visual":[93],"states":[94],"operations.":[96],"The":[97],"then":[99,133],"generates":[100],"Python":[102],"tracker":[103],"simulates":[105],"outputs":[109],"VTA-JSON":[110],"traces,":[111],"JSON":[113],"encoding":[114],"of":[115,151,161,194],"VTA.":[116],"For":[117],"rendering,":[118],"define":[120],"Rendering":[122],"Style":[123],"Language":[124],"(RSL)":[125],"templatize":[127],"layouts.":[129],"A":[130],"deterministic":[131],"renderer":[132],"compiles":[134],"traces":[136],"with":[137,167],"RSL":[138],"into":[139],"Manim,":[140],"LaTeX/TikZ,":[141],"or":[142],"Three.js":[143],"outputs.":[144],"Evaluated":[145],"on":[146],"LeetCode":[148],"benchmark":[150],"200":[152],"tasks,":[153,185],"ALGOGEN":[154],"achieves":[155],"average":[157],"rate":[159],"improvement":[160],"17.3%":[162],"compared":[163],"methods,":[166],"99.8%":[168],"versus":[169],"82.5%.":[170],"These":[171],"results":[172],"demonstrate":[173],"our":[175],"decoupling":[176],"effectively":[178],"mitigates":[179],"hallucinations":[181],"providing":[186],"more":[188],"reliable":[189],"solution":[190],"for":[191],"automated":[192],"generation":[193],"high-quality":[195],"visualizations.":[197],"Demo":[198],"code":[201],"are":[202],"available":[203],"project":[206],"repository.":[207]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-14T00:00:00"}