{"id":"W2778643895","doi":"","title":"Coq's Prolog and application to defining semi-automatic tactics","year":2017,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Prolog; Computer science; Programming language; Automation; Proof assistant; Simple (philosophy); Software engineering; Mechanism (biology); Order (exchange); Engineering; Mathematics; Mathematical proof","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.002875355,0.0008535002,0.0007094256,0.001355793,0.001745467,0.004961233,0.001826477,0.001367312,0.008175648],"category_scores_gemma":[0.009880429,0.001401009,0.001271339,0.001770724,0.003144145,0.004169249,0.003438893,0.003455719,0.002370819],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002239532,"about_ca_system_score_gemma":0.002577222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007651893,"about_ca_topic_score_gemma":0.009144961,"domain_scores_codex":[0.9974065,0.0008646259,0.0002496994,0.0004940223,0.0006961163,0.0002889939],"domain_scores_gemma":[0.9931158,0.004492709,0.0002493535,0.0007602651,0.001160847,0.0002210905],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002452647,0.0001620087,0.001644082,0.0006835282,0.00005264599,0.0004305001,0.001973694,0.02189525,0.01104895,0.7132398,0.0248078,0.2238165],"study_design_scores_gemma":[0.0001352064,0.00009557739,0.0008389908,0.0003563775,0.00009374636,0.000887651,0.0008467666,0.2708361,0.04166352,0.4540738,0.2300021,0.0001701232],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006683812,0.000162902,0.9797271,0.000334939,0.0001070493,0.0001075254,0.0002391549,0.004975345,0.00766206],"genre_scores_gemma":[0.1642778,0.0003536679,0.8200572,0.0003950773,0.00008516532,0.0002742762,0.0007947617,0.004411662,0.009350392],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008175648,"threshold_uncertainty_score":0.02735025,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01390044584052523,"score_gpt":0.2408682198322866,"score_spread":0.2269677739917614,"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."}}