{"id":"W2951073702","doi":"10.48550/arxiv.1805.02709","title":"Biform Theories: Project Description","year":2018,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Axiom; Axiomatic system; Computation; Ideal (ethics); Mathematical theory; Theoretical computer science; Artificial intelligence; Algorithm; Mathematics; Epistemology","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.01787758,0.001248862,0.0007141522,0.003127547,0.002102627,0.006962226,0.003625885,0.002403698,0.1125264],"category_scores_gemma":[0.0167061,0.0007912808,0.001048892,0.003990513,0.001625611,0.007181004,0.009906993,0.003857276,0.06445359],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003415539,"about_ca_system_score_gemma":0.0095453,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003017505,"about_ca_topic_score_gemma":0.001941086,"domain_scores_codex":[0.9898336,0.00346851,0.0005209016,0.001063827,0.003983686,0.001129386],"domain_scores_gemma":[0.9909199,0.001323516,0.0003038884,0.002231107,0.002997961,0.002223504],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003232862,0.0004048017,0.001330573,0.00069374,0.00002801105,0.0001389126,0.0006541038,0.002040354,0.00157442,0.4234563,0.4358354,0.1335201],"study_design_scores_gemma":[0.000119497,0.0001110685,0.0002990268,0.0002256753,0.00001016558,0.0002123986,0.000228564,0.003460072,0.001610684,0.05738368,0.9363046,0.00003454907],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01167306,0.003032109,0.4581356,0.01332694,0.002569033,0.005859476,0.07987497,0.03769227,0.3878365],"genre_scores_gemma":[0.08305639,0.004186761,0.4776419,0.003546864,0.00130752,0.01218215,0.1819218,0.02387232,0.2122843],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.1125264,"threshold_uncertainty_score":0.3764384,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09496927630166815,"score_gpt":0.2038813071958618,"score_spread":0.1089120308941937,"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."}}