{"id":"W2279892936","doi":"10.1007/978-3-319-08434-3_38","title":"A Framework for Formal Reasoning about Geometrical Optics","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Visual and Cognitive Learning Processes","field":"Psychology","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science","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.0007611502,0.0003843951,0.0004730555,0.0006631497,0.0002915807,0.000205085,0.0009088091,0.0005914161,0.0001609192],"category_scores_gemma":[0.001020561,0.0003394352,0.0001394669,0.0004997523,0.0005493836,0.0001047229,0.0003239024,0.001143753,0.0001179334],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007093253,"about_ca_system_score_gemma":0.0001451267,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005325656,"about_ca_topic_score_gemma":0.000004668508,"domain_scores_codex":[0.9973679,0.00002432484,0.0003567686,0.0009981371,0.00046454,0.0007883394],"domain_scores_gemma":[0.9969937,0.001843092,0.0002554667,0.0004341727,0.0003356785,0.00013784],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004382408,0.00002292441,0.0001233921,0.00005999252,0.00001952356,0.00001518591,0.0006541061,0.0009401535,0.000001457338,0.193727,0.0000230005,0.8043694],"study_design_scores_gemma":[0.00118169,0.002486166,0.001762111,0.002559355,0.00009823835,0.0001793081,0.000003310661,0.06027053,0.0002115014,0.8924353,0.03684645,0.001966036],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000205721,0.0006801998,0.9864662,0.0002385773,0.001829465,0.0003186339,0.000008952879,0.00009388798,0.01015842],"genre_scores_gemma":[0.3926823,0.00003215377,0.5942968,0.004857303,0.003574521,0.00007573586,0.0000233093,0.0001175744,0.004340319],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8024034,"threshold_uncertainty_score":0.9999058,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03549507103009585,"score_gpt":0.3459964824601414,"score_spread":0.3105014114300456,"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."}}