{"id":"W7077149723","doi":"10.5281/zenodo.16920330","title":"Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits","year":2025,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Geochemistry and Geologic Mapping","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Compiler; Artifact (error); Compiler correctness; Compiler construction; Proof theory","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.0008013895,0.001908955,0.0008015736,0.0009950518,0.0005842227,0.001717427,0.001938906,0.0009700177,0.04803669],"category_scores_gemma":[0.002355006,0.001063773,0.001015778,0.0006989051,0.0005540319,0.001577606,0.001133161,0.001604172,0.0170607],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001111161,"about_ca_system_score_gemma":0.002143302,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001863604,"about_ca_topic_score_gemma":0.00270962,"domain_scores_codex":[0.9990762,0.0001951855,0.00007546789,0.0001419725,0.0003696781,0.0001413406],"domain_scores_gemma":[0.9989435,0.0005253702,0.00005938694,0.0001184478,0.0003278006,0.00002538223],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001115554,0.0002007927,0.0006485865,0.001721378,0.0001271081,0.0004326133,0.0002704482,0.0471503,0.04416038,0.1556661,0.3497948,0.3987119],"study_design_scores_gemma":[0.0009077233,0.0002822691,0.0004693071,0.0003454426,0.0001258171,0.0005695451,0.00008621542,0.3284572,0.1789297,0.09911069,0.390558,0.0001579752],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004430322,0.0004438429,0.8986998,0.0002915877,0.0002774874,0.0002231944,0.004169389,0.06622804,0.0252363],"genre_scores_gemma":[0.1064471,0.0005308521,0.8040117,0.0007517687,0.0001489559,0.0008552661,0.01244884,0.03461229,0.04019319],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04803669,"threshold_uncertainty_score":0.1606988,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02954535922403127,"score_gpt":0.2304240440313267,"score_spread":0.2008786848072954,"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."}}