{"id":"https://openalex.org/W7160013094","doi":"https://doi.org/10.48550/arxiv.2605.00314","title":"Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis","display_name":"Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis","publication_year":2026,"publication_date":"2026-05-01","ids":{"openalex":"https://openalex.org/W7160013094","doi":"https://doi.org/10.48550/arxiv.2605.00314"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.00314","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.00314","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.2605.00314","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135185398","display_name":"Hongbo Wen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wen, Hongbo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135239902","display_name":"Ying Li","orcid":"https://orcid.org/0000-0002-6153-4538"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Ying","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135227037","display_name":"Hanzhi Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Hanzhi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089299879","display_name":"Chaofan Shou","orcid":"https://orcid.org/0000-0003-2428-3044"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shou, Chaofan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101573237","display_name":"Yanju Chen","orcid":"https://orcid.org/0000-0002-6494-3126"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Yanju","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135159825","display_name":"Yuan Tian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tian, Yuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5135124144","display_name":"Yu Feng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feng, Yu","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.1298000067472458,"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.1298000067472458,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.11919999867677689,"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/T10927","display_name":"Access Control and Trust","score":0.054099999368190765,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"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/datalog","display_name":"Datalog","score":0.675000011920929},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.5767999887466431},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5091000199317932},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.47920000553131104},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.43380001187324524},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.41440001130104065},{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.40939998626708984},{"id":"https://openalex.org/keywords/reading","display_name":"Reading (process)","score":0.3580999970436096}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7509999871253967},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.675000011920929},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5767999887466431},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5091000199317932},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5042999982833862},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.47920000553131104},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4431000053882599},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.43380001187324524},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43290001153945923},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.41440001130104065},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.40939998626708984},{"id":"https://openalex.org/C554936623","wikidata":"https://www.wikidata.org/wiki/Q199657","display_name":"Reading (process)","level":2,"score":0.3580999970436096},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.3490000069141388},{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.3357999920845032},{"id":"https://openalex.org/C2780922921","wikidata":"https://www.wikidata.org/wiki/Q255189","display_name":"Paraphrase","level":2,"score":0.3280999958515167},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3222000002861023},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3165000081062317},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.3019999861717224},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.29010000824928284},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.2831000089645386},{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.2750000059604645}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.00314","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.00314","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.2605.00314","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.00314","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":[{"id":"https://metadata.un.org/sdg/4","score":0.8621330261230469,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"An":[0],"agent":[1,11,92,168],"skill":[2,28,97,169],"is":[3,29,51,122,133],"a":[4,13,30,39,78,82,88,104,118,145,208],"configuration":[5],"package":[6],"that":[7,77,108,121,148,196],"equips":[8],"an":[9,167,220],"LLM-driven":[10],"with":[12,140],"concrete":[14],"capability,":[15],"such":[16],"as":[17],"reading":[18],"email,":[19],"executing":[20],"shell":[21],"commands,":[22],"or":[23],"signing":[24],"blockchain":[25],"transactions.":[26],"Each":[27],"hybrid":[31],"artifact-a":[32],"structured":[33,62],"half":[34,41,63,199],"declares":[35],"executable":[36],"interfaces,":[37],"while":[38],"prose":[40,50,72,132],"dictates":[42],"when":[43],"and":[44,114,126,194,219,228],"how":[45],"those":[46],"interfaces":[47],"fire-and":[48],"the":[49,61,66,71,99,130,134],"reinterpreted":[52],"probabilistically":[53],"on":[54,181],"every":[55],"invocation.":[56],"Conventional":[57],"static":[58,89],"analyzers":[59],"parse":[60],"but":[64,73],"ignore":[65],"prose;":[67],"LLM-based":[68],"tools":[69],"read":[70],"cannot":[74],"reproducibly":[75],"prove":[76],"tainted":[79],"input":[80],"reaches":[81],"high-impact":[83],"sink.":[84],"We":[85,178],"present":[86],"Semia,":[87],"auditor":[90],"for":[91],"skills.":[93],"Semia":[94,180,188,215],"lifts":[95],"each":[96],"into":[98],"Skill":[100],"Description":[101],"Language":[102],"(SDL),":[103],"Datalog":[105,175],"fact":[106,119],"base":[107,120],"captures":[109],"LLM-triggered":[110],"actions,":[111],"prose-defined":[112],"conditions,":[113],"human-in-the-loop":[115],"checkpoints.":[116],"Synthesizing":[117],"both":[123],"structurally":[124],"sound":[125],"semantically":[127],"faithful":[128],"to":[129,174],"original":[131],"central":[135],"challenge;":[136],"we":[137],"address":[138],"it":[139],"Constraint-Guided":[141],"Representation":[142],"Synthesis":[143],"(CGRS),":[144],"propose-verify-evaluate":[146],"loop":[147],"refines":[149],"LLM":[150,229],"candidates":[151],"until":[152],"convergence.":[153],"Security":[154],"properties":[155],"(e.g.,":[156],"indirect":[157],"injection,":[158],"secret":[159],"leakage,":[160],"confused":[161],"deputies,":[162],"unguarded":[163],"sinks,":[164],"etc.)":[165],"over":[166],"can":[170],"then":[171],"be":[172],"reduced":[173],"reachability":[176],"queries.":[177],"evaluate":[179],"13,728":[182],"real-world":[183],"skills":[184],"from":[185],"public":[186],"marketplaces.":[187],"renders":[189],"all":[190],"of":[191,211,222],"them":[192],"auditable":[193],"finds":[195],"more":[197],"than":[198],"carry":[200],"at":[201],"least":[202],"one":[203],"critical":[204],"semantic":[205],"risk.":[206],"On":[207],"stratified":[209],"sample":[210],"541":[212],"expert-labeled":[213],"skills,":[214],"achieves":[216],"97.7%":[217],"recall":[218],"F1":[221],"90.6%,":[223],"substantially":[224],"outperforming":[225],"signature-based":[226],"scanners":[227],"baselines.":[230]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-05T00:00:00"}