{"id":"W1652372935","doi":"10.48550/arxiv.1109.1317","title":"Lifted Unit Propagation for Effective Grounding","year":2011,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Ground; Key (lock); Computer science; Domain (mathematical analysis); Unit (ring theory); Algorithm; Calculus (dental); Mathematical optimization; Mathematics; Engineering; Electrical engineering; Mathematical analysis","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.0003302336,0.0003101696,0.0003223715,0.0002756355,0.0002596236,0.0001338066,0.001442293,0.0003192703,0.0000129869],"category_scores_gemma":[0.0001132323,0.0003264602,0.0002351426,0.0004878529,0.00008445955,0.0004465796,0.001187442,0.0003868384,0.00009166667],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002279287,"about_ca_system_score_gemma":0.0001746469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009146791,"about_ca_topic_score_gemma":0.00004375801,"domain_scores_codex":[0.9981828,0.0001707131,0.0001546971,0.001053676,0.00006314574,0.0003749544],"domain_scores_gemma":[0.9982054,0.0002150444,0.0002878127,0.000814031,0.0003323129,0.000145413],"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.00006299136,0.0001277552,0.003333685,0.0002018869,0.000132878,0.00006302262,0.001180924,0.001773725,0.00005883923,0.9890559,0.0001823998,0.003825992],"study_design_scores_gemma":[0.001843785,0.0004754218,0.01151239,0.000339874,0.000255356,0.00001034871,0.0001280137,0.4812568,0.002297272,0.4984418,0.002091238,0.001347756],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1371514,0.00004069093,0.8473354,0.00001430516,0.0009879903,0.001054943,0.000005754695,0.0003433528,0.0130662],"genre_scores_gemma":[0.995225,0.00002881492,0.002202275,0.00002846589,0.0001466899,0.0000121431,0.00002525513,0.00001972906,0.002311657],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8580736,"threshold_uncertainty_score":0.9999188,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09784830538333082,"score_gpt":0.2022094615929293,"score_spread":0.1043611562095984,"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."}}