{"id":"W2399435498","doi":"","title":"Recognizing Textual Entailment with Logical Inference.","year":2008,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Topic Modeling","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Logical consequence; Textual entailment; Natural language processing; Computer science; Paraphrase; WordNet; Artificial intelligence; Sentence; Inference; Task (project management); Interpretation (philosophy); Programming language","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001802497,0.00006157452,0.00008869407,0.00003221705,0.0001433271,0.00001690795,0.000235588,0.00002306314,0.00001097312],"category_scores_gemma":[0.00001187502,0.00004555221,0.00001129136,0.0001259499,0.0001975136,0.0001451279,0.00008751658,0.00005295251,0.000005138325],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005011298,"about_ca_system_score_gemma":0.00003515827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007117312,"about_ca_topic_score_gemma":0.00000122969,"domain_scores_codex":[0.9995121,0.00003191586,0.0001178722,0.0001642616,0.00008686066,0.00008702072],"domain_scores_gemma":[0.999454,0.0001515472,0.00004927309,0.0002606009,0.00004908868,0.0000354395],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00000777313,0.00002221692,0.0005875977,0.00000525554,0.000005029017,5.263036e-7,0.0006546813,0.00003199455,0.0001340075,0.9638492,0.000005589157,0.0346961],"study_design_scores_gemma":[0.0003775197,0.0001645154,0.002198364,0.00001646109,0.0000150907,0.00007932461,0.001311016,0.001115123,0.01079326,0.9787318,0.004931914,0.0002656618],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0932453,0.0001426688,0.9021004,0.000117386,0.000006646132,0.0001131442,8.941235e-7,0.0000476478,0.00422589],"genre_scores_gemma":[0.9832326,0.00005687634,0.01638766,0.00005029515,0.00002345651,0.00006443443,0.000001778343,0.00000217862,0.0001807503],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8899873,"threshold_uncertainty_score":0.1857565,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02733041782415049,"score_gpt":0.2562821458689754,"score_spread":0.2289517280448249,"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."}}