{"id":"W2117013774","doi":"10.1007/s10703-008-0049-6","title":"Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning","year":2008,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":129,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Engineering and Physical Sciences Research Council","keywords":"Divide and conquer algorithms; Computer science; Component (thermodynamics); Counterexample; Property (philosophy); Process (computing); Scalability; Alphabet; Model checking; Theoretical computer science; Process calculus; Algorithm; Artificial intelligence; Programming language; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0159764,0.0003080119,0.0004860779,0.0003660128,0.0007644472,0.0002333344,0.001205145,0.0001349802,0.000001366455],"category_scores_gemma":[0.001256223,0.0002443583,0.00006401383,0.001247642,0.00007081025,0.001033902,0.0006248779,0.0004363826,0.00005416918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002235905,"about_ca_system_score_gemma":0.00008081951,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008681829,"about_ca_topic_score_gemma":0.000001118544,"domain_scores_codex":[0.9934384,0.00387691,0.0007575558,0.0006502997,0.0004940941,0.0007827529],"domain_scores_gemma":[0.9974024,0.001260607,0.0002510496,0.0007795346,0.0001245815,0.0001818091],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003105787,0.00001366324,0.0003961466,0.00006854357,0.00002038953,0.00003931841,0.01081312,0.01066902,0.001873548,0.01825849,0.00006752014,0.9577492],"study_design_scores_gemma":[0.0003202763,0.000316875,0.003215879,0.0003300456,0.00001000905,0.0007023811,0.0009827868,0.9779471,0.01090718,0.0002611547,0.004578099,0.0004282068],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00347946,0.0001887675,0.9924743,0.00007961396,0.0007272256,0.001882008,0.000001263258,0.0004819483,0.0006853954],"genre_scores_gemma":[0.05184459,0.00001426044,0.9466135,0.0001760574,0.0001147043,0.001095927,4.808347e-7,0.00003071799,0.0001097506],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9672781,"threshold_uncertainty_score":0.9964642,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05480365477555006,"score_gpt":0.3464262572074728,"score_spread":0.2916226024319228,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}