{"id":"W3216294916","doi":"10.4230/lipics.isaac.2021.61","title":"Dynamic Boolean Formula Evaluation.","year":2021,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Boolean function; Theoretical computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002172537,0.0003843198,0.0004073068,0.0002615001,0.0004411274,0.0006580247,0.001544972,0.0002466604,0.00007843054],"category_scores_gemma":[0.0006340362,0.0003802278,0.0002891652,0.000710202,0.0000926888,0.003406001,0.0006060548,0.0004082095,0.0003107829],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003770101,"about_ca_system_score_gemma":0.0003531709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004190314,"about_ca_topic_score_gemma":0.00001405793,"domain_scores_codex":[0.9963017,0.0001452481,0.001261956,0.0004417207,0.001060284,0.0007891154],"domain_scores_gemma":[0.9962127,0.00014996,0.0005193962,0.001775457,0.001116165,0.0002263365],"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.0001098349,0.0009707429,0.001634865,0.001208839,0.0004544701,0.00001990958,0.01989094,0.002552559,0.001156206,0.4170366,0.00886932,0.5460957],"study_design_scores_gemma":[0.002073742,0.0001337041,0.001355975,0.00009268707,0.0000490403,0.0001373895,0.0006293926,0.9231244,0.004603452,0.00742251,0.0598244,0.0005532886],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02908183,0.0001525302,0.9552637,0.0004859836,0.001916023,0.001173622,0.0001336836,0.0003401366,0.01145244],"genre_scores_gemma":[0.2103907,0.00004982091,0.7864925,0.001425917,0.00008319342,0.0002884485,0.0005797826,0.00004549023,0.000644223],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9205719,"threshold_uncertainty_score":0.9998649,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0275664076447407,"score_gpt":0.3253115684910458,"score_spread":0.297745160846305,"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."}}