{"id":"W4400676397","doi":"10.1007/978-3-031-65112-0_1","title":"Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; McGill University; Mila - Quebec Artificial Intelligence Institute","funders":"","keywords":"Computer science; Inductive reasoning; Artificial intelligence; Inductive method; Inductive bias; Theoretical computer science; Mathematics education; Multi-task learning; Teaching method; Mathematics; Task (project management)","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","scholarly_communication","research_integrity"],"consensus_categories":[],"category_scores_codex":[0.001046144,0.0008035072,0.0007381181,0.001214076,0.0007728746,0.001470105,0.001664063,0.0003248267,0.00001418509],"category_scores_gemma":[0.0001786051,0.0006625064,0.0001098059,0.001009318,0.0008260058,0.0003826101,0.001840641,0.003828765,0.00005589795],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003049836,"about_ca_system_score_gemma":0.0004908845,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001022338,"about_ca_topic_score_gemma":0.00002378443,"domain_scores_codex":[0.9949779,0.0000849152,0.0004610664,0.002403168,0.001080562,0.0009924081],"domain_scores_gemma":[0.997941,0.0004710238,0.0003335162,0.0007673862,0.0001987269,0.0002883394],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006938862,0.00002101771,0.0005327485,0.0001127242,0.00004256811,0.0002582822,0.006173064,0.4510806,0.00009409673,0.02805275,0.000002388798,0.5136228],"study_design_scores_gemma":[0.0002649005,0.0004781707,0.0002809985,0.001601958,0.00002398792,0.0003519593,0.000003377711,0.9854711,0.0001973079,0.008411653,0.001995783,0.0009188359],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004426612,0.001587241,0.9839973,0.0005401782,0.0009759648,0.0003288466,8.56739e-7,0.0006079536,0.007534974],"genre_scores_gemma":[0.8156516,0.000100236,0.1794585,0.0002663292,0.001101552,0.00001907835,0.000006043445,0.0001384866,0.003258161],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.811225,"threshold_uncertainty_score":0.9995826,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006533803507163764,"score_gpt":0.2260423456541138,"score_spread":0.21950854214695,"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."}}