{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T17:06:11Z","timestamp":1770743171564,"version":"3.49.0"},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Serv. Comput."],"published-print":{"date-parts":[[2026,1]]},"DOI":"10.1109\/tsc.2025.3638205","type":"journal-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:58:13Z","timestamp":1764269893000},"page":"2-13","source":"Crossref","is-referenced-by-count":0,"title":["$AiRacleX$: Automated Detection of Price Oracle Manipulations via LLM-Driven Knowledge Mining and Prompt Generation"],"prefix":"10.1109","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9812-521X","authenticated-orcid":false,"given":"Bo","family":"Gao","sequence":"first","affiliation":[{"name":"Institute of High Performance Computing, Agency for Science, Technology and Research (A*STAR), Singapore"}]},{"given":"Yuan","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of High Performance Computing, Agency for Science, Technology and Research (A*STAR), Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4570-7328","authenticated-orcid":false,"given":"Qingsong","family":"Wei","sequence":"additional","affiliation":[{"name":"Institute of High Performance Computing, Agency for Science, Technology and Research (A*STAR), Singapore"}]},{"given":"Yong","family":"Liu","sequence":"additional","affiliation":[{"name":"Institute of High Performance Computing, Agency for Science, Technology and Research (A*STAR), Singapore"}]},{"given":"Rick Siow Mong","family":"Goh","sequence":"additional","affiliation":[{"name":"Institute of High Performance Computing, Agency for Science, Technology and Research (A*STAR), Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4367-7201","authenticated-orcid":false,"given":"David","family":"Lo","sequence":"additional","affiliation":[{"name":"School of Computing and Information Systems, Singapore Management University, Singapore"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3479722.3480994"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2023.3346888"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00257"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179435"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00061"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSPW54576.2021.00047"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598133"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598124"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639190"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690293"},{"key":"ref11","article-title":"Do you still need a manual smart contract audit?","author":"David","year":"2023"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CAI59869.2024.00266"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TPS-ISA58951.2023.00044"},{"key":"ref14","article-title":"When GPT meets program analysis: Towards intelligent detection of smart contract logic vulnerabilities in GPTscan","author":"Sun","year":"2023"},{"key":"ref15","first-page":"22199","article-title":"Large language models are zero-shot reasoners","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"35","author":"Kojima","year":"2022"},{"key":"ref16","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"Wood","year":"2014","journal-title":"Ethereum Project Yellow Paper"},{"key":"ref17","article-title":"Constant product formula","year":"2025"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-43725-1_13"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.2139\/ssrn.4053924","article-title":"Impermanent loss and slippage in automated market makers (AMMS) with constant-product formula","author":"Labadie","year":"2022"},{"key":"ref20","article-title":"LLAMA: Open and efficient foundation language models","author":"Touvron","year":"2023"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-025-09422-z"},{"key":"ref22","article-title":"Adapting large language models for education: Foundational capabilities, potentials, and challenges","author":"Li","year":"2023"},{"key":"ref23","first-page":"24824","article-title":"Chain-of-thought prompting elicits reasoning in large language models","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"35","author":"Wei","year":"2022"},{"key":"ref24","article-title":"Least-to-most prompting enables complex reasoning in large language models","volume-title":"Proc. 11th Int. Conf. Learn. Representations","author":"Zhou","year":"2023"},{"key":"ref25","article-title":"Complexity-based prompting for multi-step reasoning","volume-title":"Proc. 11th Int. Conf. Learn. Representations","author":"Fu","year":"2023"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639225"},{"key":"ref27","article-title":"Is \u2018a helpful assistant\u2019 the best role for large language models? A systematic evaluation of social roles in system prompts","author":"Zheng","year":"2023"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-73024-5_12"},{"key":"ref29","article-title":"Code4rena contest platform","year":"2023"},{"key":"ref30","article-title":"The Claude 3 model family: Opus, Sonnet, Haiku","year":"2025"},{"key":"ref31","article-title":"GPT-4o MINI: Advancing cost-efficient intelligence","year":"2025"},{"key":"ref32","article-title":"Openai API references","year":"2024"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/3194113.3194115","article-title":"SmartCheck: Static analysis of ethereum smart contracts","volume-title":"Proc. 1st Int. Workshop Emerg. Trends Softw. Eng. Blockchain","author":"Tikhomirov","year":"2018"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00032"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-89159-6_28"},{"key":"ref38","article-title":"Mythril","author":"Mueller","year":"2024"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"778","DOI":"10.1145\/3377811.3380334","article-title":"sFuzz: An efficient adaptive fuzzer for solidity smart contracts","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Nguyen","year":"2020"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00113"},{"key":"ref43","first-page":"22631","article-title":"The Flan Collection: Designing data and methods for effective instruction tuning","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Longpre","year":"2023"}],"container-title":["IEEE Transactions on Services Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/4629386\/11373221\/11270215.pdf?arnumber=11270215","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T00:33:46Z","timestamp":1770683626000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11270215\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1]]},"references-count":43,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tsc.2025.3638205","relation":{},"ISSN":["1939-1374","2372-0204"],"issn-type":[{"value":"1939-1374","type":"electronic"},{"value":"2372-0204","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1]]}}}