{"id":"https://openalex.org/W7154740577","doi":"https://doi.org/10.48550/arxiv.2604.14867","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","display_name":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","publication_year":2026,"publication_date":"2026-04-16","ids":{"openalex":"https://openalex.org/W7154740577","doi":"https://doi.org/10.48550/arxiv.2604.14867"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.14867","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.14867","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.2604.14867","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084182234","display_name":"Michal T\u00f6pfer","orcid":"https://orcid.org/0000-0002-3313-1766"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"T\u00f6pfer, Michal","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133848917","display_name":"Franti\u0161ek Pl\u00e1\u0161il","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pl\u00e1\u0161il, Franti\u0161ek","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133856254","display_name":"Tom\u00e1\u0161 Bure\u0161","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bure\u0161, Tom\u00e1\u0161","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5062364548","display_name":"Petr Hn\u011btynka","orcid":"https://orcid.org/0000-0002-1008-6886"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hn\u011btynka, Petr","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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.7602999806404114,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.7602999806404114,"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/T10260","display_name":"Software Engineering Research","score":0.09839999675750732,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.03970000147819519,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/correctness","display_name":"Correctness","score":0.7150999903678894},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.5196999907493591},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5059000253677368},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.46239998936653137},{"id":"https://openalex.org/keywords/feedback-loop","display_name":"Feedback loop","score":0.46230000257492065},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4325999915599823},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.3901999890804291},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3864000141620636},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.384799987077713},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.36899998784065247}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8051999807357788},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7150999903678894},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5271000266075134},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.5196999907493591},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5059000253677368},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.46239998936653137},{"id":"https://openalex.org/C186886427","wikidata":"https://www.wikidata.org/wiki/Q5441213","display_name":"Feedback loop","level":2,"score":0.46230000257492065},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44589999318122864},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4325999915599823},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.3901999890804291},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3864000141620636},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.384799987077713},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.36899998784065247},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.3580000102519989},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3571000099182129},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.33719998598098755},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.33399999141693115},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32690000534057617},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3215000033378601},{"id":"https://openalex.org/C52970973","wikidata":"https://www.wikidata.org/wiki/Q2497134","display_name":"Adaptive system","level":2,"score":0.320499986410141},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.3131999969482422},{"id":"https://openalex.org/C10272871","wikidata":"https://www.wikidata.org/wiki/Q929972","display_name":"Software inspection","level":5,"score":0.31200000643730164},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.3102000057697296},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2978000044822693},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.29600000381469727},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.29030001163482666},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.27790001034736633},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.2759000062942505},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.26969999074935913},{"id":"https://openalex.org/C150292731","wikidata":"https://www.wikidata.org/wiki/Q1342704","display_name":"Code review","level":5,"score":0.2660999894142151},{"id":"https://openalex.org/C2776434776","wikidata":"https://www.wikidata.org/wiki/Q19246213","display_name":"Domain adaptation","level":3,"score":0.2637999951839447},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.2615000009536743},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.26030001044273376},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2547999918460846},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.25450000166893005},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.2522999942302704}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.14867","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.14867","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.2604.14867","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.14867","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":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.432628870010376}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Vibe":[0],"coding":[1,167],"inherently":[2],"assumes":[3],"iterative":[4],"refinement":[5],"of":[6,40,55,64],"LLM-generated":[7,41],"code":[8,29,66,184],"through":[9],"feedback":[10,90,135,151,158],"loops.":[11],"While":[12],"effective":[13],"for":[14,76,164,182],"conventional":[15],"software":[16],"tasks,":[17],"its":[18],"reliability":[19],"in":[20,44,57,106,168],"runtime-adaptive":[21],"systems":[22,169],"is":[23,30,94,160],"unclear":[24],"--":[25],"especially":[26],"when":[27],"generated":[28,65],"not":[31],"manually":[32],"inspected.":[33],"This":[34],"paper":[35],"studies":[36],"feedback-based":[37],"automated":[38],"verification":[39,56],"adaptation":[42,85,141],"managers":[43],"Collective":[45],"Adaptive":[46],"Systems":[47],"(CAS).":[48],"We":[49,82],"focus":[50],"on":[51],"the":[52,58,84,121,161,180],"key":[53],"challenges":[54],"loop:":[59],"how":[60,70],"to":[61,71,79],"detect":[62],"failures":[63],"at":[67],"runtime":[68],"and":[69,101],"report":[72],"them":[73],"precisely":[74],"enough":[75],"an":[77],"LLM":[78],"fix":[80],"them.":[81],"combine":[83],"loop":[86,91],"with":[87,174],"a":[88,111,139,144],"vibe-coding":[89],"where":[92],"correctness":[93],"checked":[95],"against":[96],"(i)":[97],"generic":[98],"architectural":[99],"constraints":[100,104],"(ii)":[102],"functional":[103],"formalized":[105],"Functional":[107],"Constraints":[108],"Logic":[109],"(FCL),":[110],"novel":[112],"first-order":[113],"temporal":[114],"logic":[115],"over":[116],"potentially":[117],"finite":[118],"traces.":[119],"Conducting":[120],"Dragon":[122],"Hunt":[123],"CAS":[124],"case":[125],"study,":[126],"we":[127],"show":[128],"that":[129,136,157],"fine-grained":[130],"constraint":[131],"violations":[132],"provide":[133],"actionable":[134],"typically":[137],"yields":[138],"valid":[140],"manager":[142],"within":[143],"few":[145],"iterations,":[146],"while":[147],"simple":[148],"coarse":[149],"metric-based":[150],"often":[152],"stalls.":[153],"Our":[154],"findings":[155],"suggest":[156],"precision":[159],"dominant":[162],"factor":[163],"reliable":[165],"vibe":[166],"designed":[170],"by":[171],"domain":[172],"experts":[173],"no":[175],"programming":[176],"skills,":[177],"thereby":[178],"obviating":[179],"need":[181],"human":[183],"inspection.":[185]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-18T00:00:00"}