{"id":"W4405183082","doi":"10.1145/3658644.3670334","title":"zkLLM: Zero Knowledge Proofs for Large Language Models","year":2024,"lang":"en","type":"article","venue":"","topic":"Topic Modeling","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Zero-knowledge proof; Computer science; Mathematical proof; Zero (linguistics); Programming language; Mathematics; Linguistics; Algorithm; Philosophy; Cryptography","routes":{"ca_aff":true,"ca_fund":true,"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.01008351,0.001400554,0.001535517,0.00341394,0.002205639,0.008017889,0.004692446,0.002919454,0.03025042],"category_scores_gemma":[0.06024309,0.001579376,0.002570827,0.002882738,0.003708472,0.01673438,0.01073089,0.006831981,0.01203055],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003111049,"about_ca_system_score_gemma":0.00486199,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001409733,"about_ca_topic_score_gemma":0.002487714,"domain_scores_codex":[0.9880128,0.005406294,0.00071902,0.001365758,0.003760434,0.0007356146],"domain_scores_gemma":[0.9519571,0.03636817,0.001916035,0.007126239,0.002014798,0.0006176613],"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":[0.000259064,0.0001035001,0.0004307789,0.0009278846,0.0001395326,0.0004351791,0.0004642486,0.01422661,0.001726478,0.8197771,0.05576972,0.1057399],"study_design_scores_gemma":[0.00007514815,0.00002547927,0.00006797037,0.0001154668,0.00003566027,0.0002074717,0.00004887298,0.05626205,0.001897749,0.9161029,0.0251278,0.00003338144],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003852373,0.00174144,0.9616649,0.004696012,0.0004229019,0.0002501212,0.002063317,0.01052921,0.01477972],"genre_scores_gemma":[0.4033398,0.003732948,0.546391,0.005149177,0.001561035,0.001066504,0.007610716,0.005116217,0.02603276],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03025042,"threshold_uncertainty_score":0.1011978,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03503480681345038,"score_gpt":0.3043688524513657,"score_spread":0.2693340456379153,"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."}}