{"id":"W1714637014","doi":"10.1007/978-3-642-17511-4_4","title":"On the Equality of Probabilistic Terms","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Soundness; Mathematical proof; Probabilistic logic; Computer science; Formalism (music); Theoretical computer science; Cryptography; Heuristics; Concatenation (mathematics); Algebra over a field; Algorithm; Mathematics; Programming language; Pure mathematics; Arithmetic; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001644654,0.0003829743,0.0004101541,0.0004019399,0.000243218,0.0002904799,0.005044037,0.0002896331,0.00004314547],"category_scores_gemma":[0.0002769527,0.0002495394,0.000172705,0.0005848788,0.001735603,0.0002947118,0.00135825,0.001257452,0.0000191084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000556832,"about_ca_system_score_gemma":0.0002758609,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002512464,"about_ca_topic_score_gemma":0.0001268418,"domain_scores_codex":[0.9969047,0.00005520736,0.0004835856,0.001131172,0.0009914521,0.000433924],"domain_scores_gemma":[0.995174,0.00155618,0.0003347409,0.0026604,0.0001674408,0.0001072314],"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.000004914153,0.0000446133,0.00001868772,0.00003398035,0.000005383095,0.000008065128,0.0004729538,0.0004978336,0.0001887857,0.9099829,0.00001297948,0.08872888],"study_design_scores_gemma":[0.00009829006,0.0001547475,0.0001753548,0.0001916157,0.000004719651,0.00001358647,5.249045e-8,0.02666564,0.001934149,0.9694401,0.0009951397,0.0003265859],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004934128,0.00005457313,0.9915112,0.0008359323,0.001228134,0.0004175742,0.00002602585,0.00007229483,0.005360889],"genre_scores_gemma":[0.7710382,0.00001672869,0.2263088,0.00224538,0.0003142754,0.00001519303,0.000008133659,0.00002486233,0.00002850237],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7705448,"threshold_uncertainty_score":0.9999957,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02163448173160231,"score_gpt":0.2514697309614312,"score_spread":0.2298352492298288,"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."}}