{"id":"W2343774897","doi":"10.1088/978-1-627-05419-5ch3","title":"Equation solving with and without Solver","year":2014,"lang":"en","type":"book-chapter","venue":"Morgan & Claypool Publishers eBooks","topic":"Advanced Optimization Algorithms Research","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"St. Francis Xavier University","funders":"","keywords":"Problem solver; Solver; Computer science; Applied mathematics; Mathematics; Computational science; Programming language","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.0006372573,0.0007032625,0.0007936554,0.0004970156,0.000293321,0.0009949384,0.0004582871,0.0006142505,0.0007028078],"category_scores_gemma":[0.0004453782,0.0006258503,0.0001038736,0.00005067883,0.0004353224,0.0005780692,0.0002996828,0.001090002,0.00005686531],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002504286,"about_ca_system_score_gemma":0.0003112079,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001243187,"about_ca_topic_score_gemma":0.00006307939,"domain_scores_codex":[0.9966105,0.00006059048,0.0006387833,0.0009136626,0.001161344,0.0006151508],"domain_scores_gemma":[0.9970741,0.0003241064,0.0005773212,0.0009693022,0.0006936987,0.0003614202],"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.0004262126,0.00008897323,0.0004762422,0.001529722,0.001515766,0.0001013432,0.0031596,0.000420006,0.0001773083,0.7953153,0.09993487,0.09685466],"study_design_scores_gemma":[0.007018921,0.0009262894,0.00005388351,0.001753524,0.0009306456,0.0002464752,0.0004908628,0.0268482,0.0004630561,0.5582486,0.3981355,0.004884048],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00009750212,0.00005893019,0.2421374,0.0002349202,0.0001409718,0.00111472,0.0000138871,0.0003995094,0.7558022],"genre_scores_gemma":[0.002252459,0.000007575592,0.09319075,0.0002984043,0.0003716841,0.00006137486,0.00007553337,0.0004913398,0.9032509],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2982006,"threshold_uncertainty_score":0.9996193,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05593074504972567,"score_gpt":0.2901663939975931,"score_spread":0.2342356489478675,"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."}}