{"id":"W2042317202","doi":"10.1117/12.2024860","title":"A new approach for the verification of optical systems","year":2013,"lang":"en","type":"article","venue":"Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE","topic":"Photonic and Optical Devices","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Automated theorem proving; Computer science; Mathematical proof; HOL; Software; Computation; Theoretical computer science; Algorithm; Programming language; Mathematics","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.005020409,0.001288924,0.001037413,0.002917321,0.001568931,0.004939504,0.003683615,0.001940519,0.00520689],"category_scores_gemma":[0.009500563,0.0008601025,0.003848855,0.001287494,0.006431186,0.008571851,0.004736418,0.005029585,0.001518077],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002175666,"about_ca_system_score_gemma":0.003276158,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001776742,"about_ca_topic_score_gemma":0.001130042,"domain_scores_codex":[0.9930535,0.001560674,0.0005398656,0.001188233,0.003173606,0.0004842361],"domain_scores_gemma":[0.9950787,0.002515419,0.0003043869,0.001223262,0.0007586966,0.0001195539],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0000360656,0.00004169503,0.0001776859,0.0002201693,0.00004034605,0.000158683,0.0002976494,0.01299213,0.006032906,0.9467126,0.001560343,0.03172984],"study_design_scores_gemma":[0.0000478527,0.0001140381,0.0001263884,0.0001708604,0.00008030221,0.0003207812,0.00009113127,0.1419057,0.0162993,0.7738514,0.06692918,0.00006311871],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007135246,0.0001276411,0.9963152,0.0002370731,0.00007235562,0.0000406467,0.00003618173,0.0004601272,0.001997283],"genre_scores_gemma":[0.08191293,0.0008328833,0.9101907,0.0006546063,0.0003144324,0.0002447812,0.000230575,0.0003891237,0.005229941],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00520689,"threshold_uncertainty_score":0.02655077,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01362713098152188,"score_gpt":0.2171853108912809,"score_spread":0.2035581799097591,"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."}}