{"id":"W2578723281","doi":"","title":"Hoping for the Truth - A Survey of the TPTP Logics.","year":2016,"lang":"en","type":"article","venue":"The Florida AI Research Society","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Artificial intelligence","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.01196398,0.0001155723,0.0001640805,0.00001619966,0.000951813,0.0002042735,0.003434452,0.00008073057,0.00000832667],"category_scores_gemma":[0.001561267,0.00003695354,0.0002756335,0.0007630636,0.000661614,0.000163043,0.001007275,0.0003155926,0.00002249024],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007664987,"about_ca_system_score_gemma":0.0002774038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008547116,"about_ca_topic_score_gemma":0.000101539,"domain_scores_codex":[0.9971635,0.0008322716,0.0002307196,0.0003127495,0.0008520131,0.0006087849],"domain_scores_gemma":[0.9912332,0.006613865,0.0001024596,0.001388077,0.0006059713,0.00005636948],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005462318,0.00009553689,0.008384506,0.0001349349,0.0003042368,9.886979e-7,0.009502096,0.00002489706,0.001366969,0.7897187,0.1231996,0.06721291],"study_design_scores_gemma":[0.004647183,0.001217192,0.2115266,0.0001712158,0.00006103188,0.00003379714,0.002895535,0.0501372,0.01613254,0.3532364,0.3588234,0.001117937],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01295914,0.001462425,0.9459242,0.03206412,0.003783791,0.002572462,0.00002853018,0.0001417695,0.001063623],"genre_scores_gemma":[0.9976797,0.0001335072,0.0002149614,0.0001954256,0.0003548113,0.0001306612,6.698281e-7,0.00001064036,0.001279669],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9847205,"threshold_uncertainty_score":0.7320672,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1761918091601539,"score_gpt":0.3773741893173832,"score_spread":0.2011823801572293,"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."}}