{"id":"W2167556674","doi":"10.1016/j.entcs.2007.09.020","title":"Focusing the Inverse Method for LF: A Preliminary Report","year":2008,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Correctness; Mathematical proof; Computer science; Horn clause; Calculus (dental); Programming language; Inverse; Logic programming; Theoretical computer science; Mathematics; Algorithm","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.007290433,0.0008057292,0.001032127,0.001593981,0.001194303,0.003428977,0.002353488,0.00103627,0.0265705],"category_scores_gemma":[0.0144133,0.001044571,0.00205923,0.00116853,0.001697676,0.01173523,0.003607082,0.0050805,0.004293152],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001754521,"about_ca_system_score_gemma":0.00300176,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004053629,"about_ca_topic_score_gemma":0.002360484,"domain_scores_codex":[0.9952073,0.001641759,0.0002846033,0.0007772346,0.001546209,0.0005428839],"domain_scores_gemma":[0.9916307,0.004123738,0.0001689406,0.001881636,0.001918686,0.0002762903],"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.0005776238,0.0004797706,0.00264586,0.0010439,0.0001214834,0.0005207781,0.001107382,0.009866877,0.02748769,0.5225675,0.01728616,0.416295],"study_design_scores_gemma":[0.0003057103,0.0008348619,0.002397749,0.0005078913,0.0003480371,0.001727529,0.0005779043,0.1747177,0.1250476,0.3549762,0.3382058,0.0003529832],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00979589,0.000753291,0.9723377,0.0007956414,0.0001840089,0.0002144282,0.0002072429,0.002663966,0.0130478],"genre_scores_gemma":[0.1618579,0.001883707,0.8133844,0.0007565901,0.0004626952,0.0003623086,0.001264527,0.00146671,0.01856123],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0265705,"threshold_uncertainty_score":0.08888716,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02003061955941909,"score_gpt":0.2889938892297287,"score_spread":0.2689632696703096,"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."}}