{"id":"W4394769109","doi":"10.1145/3597503.3639190","title":"FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation","year":2024,"lang":"en","type":"article","venue":"","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Exploit; Database transaction; Flash (photography); Computer science; Loan; Computer security; Business; Finance; Database","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.0002357071,0.0001305988,0.0001297463,0.0001522743,0.0001221326,0.0002144847,0.0007641812,0.0001414475,0.0001446674],"category_scores_gemma":[0.00001401852,0.000112787,0.00006113843,0.0005206596,0.00007326265,0.0003131171,0.0002298389,0.0001671277,0.001395248],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005107859,"about_ca_system_score_gemma":0.00003447198,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004065095,"about_ca_topic_score_gemma":0.00004585649,"domain_scores_codex":[0.9988795,0.00002893051,0.0002006342,0.0004955711,0.0001701542,0.0002252362],"domain_scores_gemma":[0.9989754,0.0001563726,0.00002120509,0.0007454012,0.00005126305,0.00005035573],"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.000001279196,0.00009743551,0.0001243663,0.00006842151,0.00005404977,0.00001138565,0.0005812704,0.00007002127,0.002528286,0.8211972,0.02832517,0.1469411],"study_design_scores_gemma":[0.00004422735,0.00001794179,0.0001484206,0.00002141544,0.00000943665,0.00002742819,0.00001433823,0.8481192,0.009569799,0.01523084,0.126615,0.0001819628],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0191905,0.0001212853,0.9665471,0.003808699,0.0001828587,0.0002147912,0.000002965914,0.001504372,0.008427411],"genre_scores_gemma":[0.9422364,0.00001791157,0.05649064,0.0002291147,0.0000517319,0.0001860278,0.000004080856,0.00001220003,0.0007718501],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9230459,"threshold_uncertainty_score":0.9993823,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01839392343734768,"score_gpt":0.2457640793434954,"score_spread":0.2273701559061477,"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."}}