{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002106751,0.001750648,0.001283932,0.002365944,0.00192974,0.005225846,0.004997135,0.00261584,0.0124759],"category_scores_gemma":[0.004290829,0.001659005,0.004421719,0.002323639,0.005539626,0.01405507,0.003936624,0.005121758,0.002943217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0027361,"about_ca_system_score_gemma":0.001148711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005730749,"about_ca_topic_score_gemma":0.005320353,"domain_scores_codex":[0.9984969,0.0004416267,0.0001739134,0.0002550655,0.0004918041,0.0001406868],"domain_scores_gemma":[0.9984958,0.0008702023,0.00006840182,0.0002926787,0.0002093321,0.00006347817],"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.000006728034,0.000009712709,0.00003287861,0.00006940298,0.00001151561,0.00004674709,0.000131352,0.002432479,0.0003253875,0.9849734,0.001466708,0.01049364],"study_design_scores_gemma":[0.000005359297,0.000002866131,0.00001642864,0.00001869701,0.000007658688,0.00002373041,0.00002298807,0.008689881,0.0002159077,0.9845538,0.006435792,0.000006966635],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001611038,0.0004849294,0.9846647,0.0006134173,0.000109933,0.00004860285,0.0002243437,0.0006274408,0.01161564],"genre_scores_gemma":[0.1235222,0.001141033,0.8605818,0.0004558237,0.0003329431,0.0003091088,0.0009625244,0.0005203543,0.01217422],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0124759,"threshold_uncertainty_score":0.04173607,"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."}}