{"id":"https://openalex.org/W7170199642","doi":"https://doi.org/10.1007/978-3-032-32526-6_15","title":"SMT-Based Active Learning of Weighted Automata","display_name":"SMT-Based Active Learning of Weighted Automata","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7170199642","doi":"https://doi.org/10.1007/978-3-032-32526-6_15"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-32526-6_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-32526-6_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-32526-6_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-32526-6_15.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038437346","display_name":"Tiago Ferreira","orcid":"https://orcid.org/0000-0002-6942-0228"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Tiago Ferreira","raw_affiliation_strings":["University College London, London, UK"],"raw_orcid":"https://orcid.org/0000-0002-6942-0228","affiliations":[{"raw_affiliation_string":"University College London, London, UK","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055444271","display_name":"Kevin Batz","orcid":"https://orcid.org/0000-0001-8705-2564"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Batz","raw_affiliation_strings":["Cornell University, Ithaca, NY, USA"],"raw_orcid":"https://orcid.org/0000-0001-8705-2564","affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100658822","display_name":"Alexandra Silva","orcid":"https://orcid.org/0000-0001-5014-9784"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexandra Silva","raw_affiliation_strings":["Cornell University, Ithaca, NY, USA"],"raw_orcid":"https://orcid.org/0000-0001-5014-9784","affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038437346"],"corresponding_institution_ids":["https://openalex.org/I45129253"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"307","last_page":"330"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.76910001039505},{"id":"https://openalex.org/keywords/semiring","display_name":"Semiring","score":0.7649999856948853},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7189000248908997},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5627999901771545},{"id":"https://openalex.org/keywords/learning-automata","display_name":"Learning automata","score":0.5519000291824341},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4875999987125397},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.48739999532699585},{"id":"https://openalex.org/keywords/active-learning","display_name":"Active learning (machine learning)","score":0.4864000082015991}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.76910001039505},{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.7649999856948853},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7633000016212463},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7189000248908997},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5627999901771545},{"id":"https://openalex.org/C2776807809","wikidata":"https://www.wikidata.org/wiki/Q6510160","display_name":"Learning automata","level":3,"score":0.5519000291824341},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5353999733924866},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4875999987125397},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.48739999532699585},{"id":"https://openalex.org/C77967617","wikidata":"https://www.wikidata.org/wiki/Q4677561","display_name":"Active learning (machine learning)","level":2,"score":0.4864000082015991},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40400001406669617},{"id":"https://openalex.org/C136726353","wikidata":"https://www.wikidata.org/wiki/Q903789","display_name":"Disjunctive normal form","level":2,"score":0.40400001406669617},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.3862999975681305},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3571999967098236},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.35420000553131104},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.3278999924659729},{"id":"https://openalex.org/C13533509","wikidata":"https://www.wikidata.org/wiki/Q1064349","display_name":"Deterministic algorithm","level":2,"score":0.3239000141620636},{"id":"https://openalex.org/C176248197","wikidata":"https://www.wikidata.org/wiki/Q458526","display_name":"Probably approximately correct learning","level":4,"score":0.30160000920295715},{"id":"https://openalex.org/C22367795","wikidata":"https://www.wikidata.org/wiki/Q7625208","display_name":"Structured prediction","level":2,"score":0.27959999442100525},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.2784000039100647},{"id":"https://openalex.org/C3018263672","wikidata":"https://www.wikidata.org/wiki/Q1296251","display_name":"Efficient algorithm","level":2,"score":0.27459999918937683}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-32526-6_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-32526-6_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-32526-6_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-32526-6_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-32526-6_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-32526-6_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6106627466","display_name":null,"funder_award_id":"HR001125CE018","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320320286","display_name":"University College London","ror":"https://ror.org/02jx3x895"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7170199642.pdf","grobid_xml":"https://content.openalex.org/works/W7170199642.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1482663303","https://openalex.org/W1496681274","https://openalex.org/W1588454361","https://openalex.org/W1643571618","https://openalex.org/W1938383858","https://openalex.org/W1972505764","https://openalex.org/W1974713491","https://openalex.org/W1989445634","https://openalex.org/W2057427285","https://openalex.org/W2076343783","https://openalex.org/W2105394284","https://openalex.org/W2116571997","https://openalex.org/W2141811956","https://openalex.org/W2167653948","https://openalex.org/W2296684448","https://openalex.org/W2500302530","https://openalex.org/W2583228413","https://openalex.org/W2889414920","https://openalex.org/W2954019045","https://openalex.org/W3023251497","https://openalex.org/W3099743106","https://openalex.org/W3190977274","https://openalex.org/W4225120439","https://openalex.org/W4285268408","https://openalex.org/W4390605054","https://openalex.org/W4393943425","https://openalex.org/W4400976373","https://openalex.org/W4404783177","https://openalex.org/W4413132491","https://openalex.org/W4414936259","https://openalex.org/W6910510929","https://openalex.org/W7155399226","https://openalex.org/W7163920326"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"We":[1,44],"present":[2],"an":[3],"SMT-based":[4],"active":[5],"learning":[6,74],"algorithm":[7,28,70,95],"for":[8,59],"nondeterministic":[9],"weighted":[10],"automata":[11,100],"(WFAs)":[12],"as":[13],"a":[14,32,50,86,93],"practical":[15],"and":[16,48,81,89,101],"robust":[17],"alternative":[18],"to":[19,40],"Hankel/":[20],"$$\\textsf{L}^\\star":[21],"$$":[22],"L":[23],"\u22c6":[24],"-style":[25],"methods.":[26],"Our":[27,63],"is":[29,71,90],"parametric":[30],"in":[31,55],"given":[33],"semiring":[34],"and,":[35],"if":[36],"it":[37],"terminates,":[38],"guaranteed":[39],"produce":[41],"minimal":[42,76],"WFAs.":[43],"prove":[45],"partial":[46],"correctness":[47],"provide":[49],"sufficient":[51],"termination":[52,58],"condition,":[53],"which":[54],"particular":[56],"implies":[57],"all":[60],"finite":[61,80],"semirings.":[62],"extensive":[64],"experimental":[65],"evaluation":[66],"shows":[67],"that":[68],"our":[69],"capable":[72],"of":[73],"numerous":[75],"WFAs":[77],"over":[78],"both":[79],"infinite":[82],"semirings,":[83],"vastly":[84],"outperforms":[85],"naive":[87],"baseline,":[88],"competitive":[91],"with":[92,105],"state-of-the-art":[94],"while":[96],"producing":[97],"significantly":[98],"smaller":[99],"requiring":[102],"less":[103],"interaction":[104],"the":[106],"teacher.":[107]},"counts_by_year":[],"updated_date":"2026-08-23T07:36:19.812096","created_date":"2026-07-24T00:00:00"}