{"id":"W6910469056","doi":"10.48448/mspe-2p79","title":"Exploring Decomposition for Table-based Fact Verification","year":2021,"lang":"en","type":"other","venue":"Underline Science Inc.","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Decomposition; Simple (philosophy); Natural language; Formal verification; Semantics (computer science); Functional verification; Runtime verification; Data modeling","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.002075347,0.001234461,0.0007646285,0.001877578,0.0006169927,0.001924853,0.001734835,0.001163934,0.005750347],"category_scores_gemma":[0.01089794,0.000579189,0.002245515,0.001465118,0.001138374,0.006183477,0.002835819,0.00222967,0.002434929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001287846,"about_ca_system_score_gemma":0.003246773,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005379103,"about_ca_topic_score_gemma":0.01013881,"domain_scores_codex":[0.9978988,0.0006103535,0.000170737,0.0006305605,0.000524989,0.0001645629],"domain_scores_gemma":[0.9940265,0.003271415,0.0004559323,0.00142895,0.0006487079,0.0001684927],"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.000833591,0.000567304,0.0183902,0.001336007,0.0002266062,0.001016207,0.0009169213,0.1807437,0.03248625,0.05299228,0.03402422,0.6764666],"study_design_scores_gemma":[0.00004353511,0.0001134881,0.001174987,0.0000951395,0.0000500851,0.0002340232,0.0001757684,0.9051892,0.01543446,0.06512448,0.01233665,0.00002820422],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06028003,0.0007296973,0.9060422,0.00126596,0.0001051596,0.0002978471,0.00519598,0.02339161,0.002691549],"genre_scores_gemma":[0.386301,0.0003946098,0.5854489,0.000445534,0.00007352255,0.0002509803,0.02372328,0.001145072,0.002217097],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005750347,"threshold_uncertainty_score":0.01923686,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2119253523274232,"score_gpt":0.3703793420201934,"score_spread":0.1584539896927702,"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."}}