{"id":"https://openalex.org/W7129511985","doi":"https://doi.org/10.48550/arxiv.2602.13808","title":"An end-to-end agentic pipeline for smart contract translation and quality evaluation","display_name":"An end-to-end agentic pipeline for smart contract translation and quality evaluation","publication_year":2026,"publication_date":"2026-02-14","ids":{"openalex":"https://openalex.org/W7129511985","doi":"https://doi.org/10.48550/arxiv.2602.13808"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2602.13808","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2602.13808","pdf_url":"https://arxiv.org/pdf/2602.13808","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2602.13808","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091813504","display_name":"Abhinav Goel","orcid":"https://orcid.org/0000-0003-1827-1389","observed_orcids":["https://orcid.org/0000-0003-1827-1389"]},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Goel, Abhinav","raw_affiliation_strings":["Columbia University New York , NY , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Columbia University New York , NY , USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071508675","display_name":"Chaitya Shah","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shah, Chaitya","raw_affiliation_strings":["Columbia University New York , NY , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Columbia University New York , NY , USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041916584","display_name":"Agostino Capponi","orcid":"https://orcid.org/0000-0001-9735-7935","observed_orcids":["https://orcid.org/0000-0001-9735-7935"]},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Capponi, Agostino","raw_affiliation_strings":["Columbia University New York , NY , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Columbia University New York , NY , USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087419620","display_name":"Alfio Gliozzo","orcid":"https://orcid.org/0000-0002-8044-2911","observed_orcids":["https://orcid.org/0000-0002-8044-2911"]},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gliozzo, Alfio","raw_affiliation_strings":["IBM T.J. Watson Research Center Yorktown Heights , NY , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM T.J. Watson Research Center Yorktown Heights , NY , USA","institution_ids":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.7285000085830688,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.7285000085830688,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.16050000488758087,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T13643","display_name":"Artificial Intelligence in Law","score":0.026100000366568565,"subfield":{"id":"https://openalex.org/subfields/3308","display_name":"Law"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/llm-generated-code","display_name":"LLM-generated code","score":0.7720000147819519},{"id":"https://openalex.org/keywords/natural-language-specifications","display_name":"natural language specifications","score":0.7089999914169312},{"id":"https://openalex.org/keywords/code-quality-evaluation","display_name":"code quality evaluation","score":0.7429999709129333},{"id":"https://openalex.org/keywords/security-assessment","display_name":"security analysis","score":0.39800000190734863},{"id":"https://openalex.org/keywords/benchmarking","display_name":"benchmarking","score":0.43700000643730164},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.7070000171661377}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7081999778747559},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.6765999794006348},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.5954999923706055},{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.5669999718666077},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5364999771118164},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5291000008583069},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.3926999866962433},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3855000138282776},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.3723999857902527},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.35519999265670776},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.35179999470710754},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.33250001072883606},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.32109999656677246},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.31859999895095825},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3172000050544739},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3109000027179718},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.30730000138282776},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.3070000112056732},{"id":"https://openalex.org/C24756922","wikidata":"https://www.wikidata.org/wiki/Q1757694","display_name":"Data quality","level":3,"score":0.3057999908924103},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.2937999963760376},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2890999913215637},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.28859999775886536},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.28760001063346863},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.28540000319480896},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.28369998931884766},{"id":"https://openalex.org/C175309249","wikidata":"https://www.wikidata.org/wiki/Q725864","display_name":"Pipeline transport","level":2,"score":0.28349998593330383},{"id":"https://openalex.org/C2781020372","wikidata":"https://www.wikidata.org/wiki/Q533093","display_name":"On the fly","level":2,"score":0.2815999984741211},{"id":"https://openalex.org/C3020001037","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assessment","level":3,"score":0.2759999930858612},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.26420000195503235},{"id":"https://openalex.org/C2779982483","wikidata":"https://www.wikidata.org/wiki/Q6094420","display_name":"Iterative refinement","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2614000141620636},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.2590999901294708},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.257999986410141},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25360000133514404},{"id":"https://openalex.org/C51687143","wikidata":"https://www.wikidata.org/wiki/Q295600","display_name":"QA/QC","level":5,"score":0.25220000743865967}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2602.13808","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2602.13808","pdf_url":"https://arxiv.org/pdf/2602.13808","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2602.13808","doi":"https://doi.org/10.48550/arxiv.2602.13808","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.13808","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2602.13808","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2602.13808","pdf_url":"https://arxiv.org/pdf/2602.13808","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7129511985.pdf","grobid_xml":"https://content.openalex.org/works/W7129511985.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W3177813494","https://openalex.org/W3195140297","https://openalex.org/W4327810158","https://openalex.org/W4386185625","https://openalex.org/W4386488723","https://openalex.org/W4402288736","https://openalex.org/W4403593718","https://openalex.org/W4414359397"],"related_works":["https://openalex.org/W7160929666","https://openalex.org/W7171558062","https://openalex.org/W4414359397","https://openalex.org/W7168237566","https://openalex.org/W7127140066","https://openalex.org/W6891747302","https://openalex.org/W7163031997","https://openalex.org/W4416661769","https://openalex.org/W7125954949","https://openalex.org/W4385681393"],"abstract_inverted_index":{"We":[0],"present":[1],"an":[2],"end-to-end":[3],"framework":[4,75],"for":[5,102],"systematic":[6,86],"evaluation":[7,78],"of":[8],"LLM-generated":[9],"smart":[10,106],"contracts":[11],"from":[12],"natural-language":[13],"specifications.":[14],"The":[15,74],"system":[16],"parses":[17],"contractual":[18],"text":[19],"into":[20,71],"structured":[21,46],"schemas,":[22],"generates":[23],"Solidity":[24],"code,":[25],"and":[26,33,67,84,93,110,116],"performs":[27],"automated":[28],"quality":[29,69,109],"assessment":[30],"through":[31],"compilation":[32],"security":[34],"checks.":[35],"Using":[36],"CrewAI-style":[37],"agent":[38],"teams":[39],"with":[40,48],"iterative":[41],"refinement,":[42],"the":[43],"pipeline":[44],"produces":[45],"artifacts":[47],"full":[49],"provenance":[50],"metadata.":[51],"Quality":[52],"is":[53],"measured":[54],"across":[55],"five":[56],"dimensions,":[57],"including":[58],"functional":[59],"completeness,":[60],"variable":[61],"fidelity,":[62,66],"state-machine":[63],"correctness,":[64],"business-logic":[65],"code":[68],"aggregated":[70],"composite":[72],"scores.":[73],"supports":[76,111],"paired":[77],"against":[79],"ground-truth":[80],"implementations,":[81],"quantifying":[82],"alignment":[83],"identifying":[85],"error":[87],"modes":[88],"such":[89],"as":[90],"logic":[91],"omissions":[92],"state":[94],"transition":[95],"inconsistencies.":[96],"This":[97],"provides":[98],"a":[99],"reproducible":[100],"benchmark":[101],"empirical":[103],"research":[104],"on":[105],"contract":[107],"synthesis":[108],"extensions":[112],"to":[113],"formal":[114],"verification":[115],"compliance":[117],"checking.":[118]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-02-18T00:00:00"}