{"id":"W2896578234","doi":"10.1145/3268935.3268936","title":"Pearl-TEE","year":2018,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Overhead (engineering); Isolation (microbiology); Mobile device; Embedded system; Code (set theory); Operating system; Cover (algebra); Pearl; Key (lock); Programming language; Engineering","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001177501,0.00003022977,0.00002846233,0.00002453011,0.0001035245,0.00008762704,0.0004498797,0.00001587346,0.0001343539],"category_scores_gemma":[0.00001672018,0.00002698149,0.00001429972,0.0001677583,0.00002964254,0.0001580869,0.0001094213,0.00002953615,0.000977393],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005878953,"about_ca_system_score_gemma":0.00001588422,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001537697,"about_ca_topic_score_gemma":0.000002415721,"domain_scores_codex":[0.9996108,0.00001297364,0.00006436907,0.0001376536,0.00008057173,0.00009357608],"domain_scores_gemma":[0.9995819,0.00002659577,0.00001608729,0.0002890632,0.00005692961,0.00002939272],"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":[3.282691e-7,0.00001190009,0.0001953126,0.000001009229,0.000001768163,5.368289e-7,0.0007779893,6.57245e-7,0.0002549659,0.9576254,0.008707519,0.03242262],"study_design_scores_gemma":[0.0002973361,0.000166149,0.01045221,0.00001252875,0.000001737734,0.00003635959,0.000121693,0.540987,0.02039154,0.04949229,0.3776873,0.0003539324],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007674443,0.000009280881,0.8412964,0.0009536108,0.0003844975,0.00001897076,3.465368e-8,0.0002159374,0.1494469],"genre_scores_gemma":[0.8899755,5.720588e-7,0.1078682,0.0009097389,0.0002139621,8.095618e-7,1.063045e-7,0.000001351078,0.001029739],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9081331,"threshold_uncertainty_score":0.9998004,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0207059129943805,"score_gpt":0.2636799030396373,"score_spread":0.2429739900452568,"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."}}