{"id":"W4411449886","doi":"10.1145/3729353","title":"LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on software engineering.","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Adversarial system; Computer science; Database transaction; Focus (optics); Software deployment; Computer security; Artificial intelligence; Code (set theory); Semantics (computer science); State (computer science); Machine learning; Database; Programming language; Software 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002248029,0.001114868,0.001012978,0.001728668,0.0006536474,0.001479549,0.001413154,0.001359464,0.001625248],"category_scores_gemma":[0.00898841,0.0004272047,0.0007353798,0.0006860171,0.001444298,0.004329004,0.002559088,0.001898787,0.0007998877],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006748035,"about_ca_system_score_gemma":0.001601441,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001765347,"about_ca_topic_score_gemma":0.002668342,"domain_scores_codex":[0.9981287,0.0005338275,0.0001166349,0.0003803953,0.0006399565,0.0002005748],"domain_scores_gemma":[0.9948428,0.002049137,0.001117151,0.001319314,0.0004311728,0.0002403996],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0009790785,0.0005507726,0.06005504,0.0003766639,0.0001809164,0.000560443,0.0005820195,0.3309473,0.02752233,0.02560046,0.01473007,0.5379148],"study_design_scores_gemma":[0.00003064099,0.0001784845,0.00211615,0.00003109216,0.00002090959,0.0002935207,0.00008559258,0.9677633,0.009076159,0.01737196,0.003000543,0.00003167632],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2490775,0.001441017,0.723272,0.001409248,0.0001216814,0.0004555799,0.0008426518,0.01746783,0.005912605],"genre_scores_gemma":[0.888467,0.0002991529,0.1072934,0.0003517079,0.00004935564,0.00009531713,0.0009404108,0.0002046775,0.002298967],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002248029,"threshold_uncertainty_score":0.01188886,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005683394962144602,"score_gpt":0.2175159818541883,"score_spread":0.2118325868920437,"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."}}