{"id":"W2061783308","doi":"10.1109/iri.2014.7051914","title":"Towards ray optics formalization of optical imaging systems","year":2014,"lang":"en","type":"article","venue":"","topic":"Advanced Numerical Analysis Techniques","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Soundness; Mathematical proof; Computer science; Pencil (optics); Geometrical optics; Optics; Lens (geology); Automated theorem proving; Physics; Algorithm; Programming language; Mathematics; Geometry","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.00009572841,0.00007377928,0.000158553,0.00005668294,0.00001136096,0.00001159131,0.00007978748,0.00002716673,0.00001227519],"category_scores_gemma":[0.00003944977,0.00006234868,0.00003822573,0.0001475609,0.00002123358,0.0001252212,0.00001965496,0.00004482075,0.00000576733],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002321326,"about_ca_system_score_gemma":0.000001999302,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007267807,"about_ca_topic_score_gemma":3.491255e-7,"domain_scores_codex":[0.9994757,0.000007999823,0.0002150573,0.00006751355,0.0001160122,0.0001177452],"domain_scores_gemma":[0.9997239,0.00002334759,0.00002201718,0.0001395441,0.00005223701,0.00003893078],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003504878,0.00002908881,0.0007577806,0.0002562813,0.00004841357,9.99496e-7,0.00005479536,0.7344792,0.02795364,0.1849708,0.0005531692,0.05089229],"study_design_scores_gemma":[0.00004893469,0.00001083124,0.00008674617,0.00001374779,0.00001369749,0.000001372323,0.0000185617,0.964376,0.0332343,0.0006164499,0.001494357,0.00008498747],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00246134,0.0000520581,0.9615734,0.00001670568,0.00004809155,0.00004866879,4.890546e-7,0.0004378798,0.03536134],"genre_scores_gemma":[0.9160967,0.00002209026,0.08376867,0.00001290906,0.00003188501,0.000006052101,0.000003913777,0.00001482068,0.00004295296],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9136354,"threshold_uncertainty_score":0.2542505,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004980877484717532,"score_gpt":0.2249594072771124,"score_spread":0.2199785297923949,"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."}}