{"id":"W4408003657","doi":"10.23977/jaip.2025.080105","title":"Exploration of Formalization Techniques for Geometric Entities in Planar Geometry Proposition Texts","year":2025,"lang":"en","type":"article","venue":"Journal of Artificial Intelligence Practice","topic":"Manufacturing Process and Optimization","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Proposition; Geometry; Planar; Computer science; Mathematics; Engineering drawing; Algebra over a field; Pure mathematics; Computer graphics (images); Engineering; Linguistics; Philosophy","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002628926,0.0008997315,0.0004960884,0.00261933,0.001037942,0.00270865,0.002068269,0.0008765695,0.007953435],"category_scores_gemma":[0.008744583,0.0007845844,0.002387158,0.001555277,0.003970357,0.01140192,0.002667686,0.002942055,0.003008035],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001908402,"about_ca_system_score_gemma":0.002198849,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003594262,"about_ca_topic_score_gemma":0.00473877,"domain_scores_codex":[0.9970708,0.0008193708,0.0003711636,0.0009251878,0.0006696381,0.0001437591],"domain_scores_gemma":[0.9957387,0.001771748,0.0005026468,0.00105598,0.0008041738,0.0001265794],"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.00005573105,0.0000448946,0.0009965325,0.0005604095,0.0000366453,0.0004048609,0.001750958,0.0154836,0.007118373,0.8505237,0.005942035,0.1170823],"study_design_scores_gemma":[0.00002714369,0.00008885223,0.001017224,0.0004590284,0.0000819369,0.001254727,0.00119862,0.2055795,0.01853216,0.6243516,0.1472807,0.0001284591],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004171831,0.0003703639,0.9897091,0.0007301589,0.00007512008,0.0000960762,0.0004092857,0.001426066,0.003011992],"genre_scores_gemma":[0.1498526,0.000939907,0.8406088,0.0003963783,0.0001430884,0.0002081352,0.002546914,0.0006898117,0.004614267],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007953435,"threshold_uncertainty_score":0.02660692,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03100983818718876,"score_gpt":0.3110163477160621,"score_spread":0.2800065095288733,"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."}}