{"id":"W954629016","doi":"10.1007/978-3-662-43652-3_32","title":"Staged Evaluation of Partial Instances in a Relational Model Finder","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Axiom; Computer science; Generator (circuit theory); Property (philosophy); Scalability; Spurious relationship; Scope (computer science); Theoretical computer science; Algorithm; Programming language; Mathematics; Database; Machine learning; Power (physics)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004897874,0.0008534961,0.001193165,0.00104611,0.0007762401,0.002784845,0.002750191,0.001356234,0.01612942],"category_scores_gemma":[0.0166726,0.0009448396,0.002352044,0.0007090107,0.001749452,0.006295863,0.004794377,0.00163186,0.002254474],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00144965,"about_ca_system_score_gemma":0.001790997,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00222186,"about_ca_topic_score_gemma":0.004879331,"domain_scores_codex":[0.994527,0.001519948,0.0003261152,0.0007624903,0.002381628,0.0004827826],"domain_scores_gemma":[0.9911897,0.005116532,0.0002595764,0.002284378,0.0009678127,0.0001819075],"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.001785319,0.0005230762,0.003644365,0.001153865,0.0003628863,0.001293968,0.001762958,0.1244253,0.07259626,0.3787912,0.01267056,0.4009902],"study_design_scores_gemma":[0.0001286064,0.0003045392,0.0006654125,0.0001662133,0.0002375531,0.0003177719,0.0003875714,0.6877427,0.07978642,0.2128615,0.01730082,0.0001008623],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05309455,0.000137323,0.9296466,0.0003862624,0.00007944334,0.0003410144,0.0004615423,0.008142666,0.007710579],"genre_scores_gemma":[0.3535027,0.0001242729,0.6316063,0.0001650196,0.000036584,0.0001940975,0.001125584,0.002439044,0.0108063],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01612942,"threshold_uncertainty_score":0.05395836,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0837871617167047,"score_gpt":0.3233108398344413,"score_spread":0.2395236781177366,"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."}}