4 papers
Beyond Symbolic Solving: Multi Chain-of-Thought Voting for Geometric Reasoning in Large Language Models
Md. Abu Bakor Siddique, Shahrin Hossain, Sadman Ahmed Siam +3
Geometric Problem Solving (GPS) remains at the heart of enhancing mathematical reasoning in large language models because it requires the combination of diagrammatic understanding,…
Decentralized Firmware Integrity Verification for Cyber-Physical Systems Using Ethereum Blockchain
S M Mostaq Hossain, Amani Altarawneh
Firmware integrity is a foundational requirement for securing Cyber-Physical Systems (CPS), where malicious or compromised firmware can result in persistent backdoors, unauthorized…
Unraveling Ethereum's Mempool: The Impact of Fee Fairness, Transaction Prioritization, and Consensus Efficiency
S M Mostaq Hossain, Amani Altarawneh
Ethereum's transaction pool (mempool) dynamics and fee market efficiency critically affect transaction inclusion, validator workload, and overall network performance. This research…
Leveraging Large Language Models and Machine Learning for Smart Contract Vulnerability Detection
S M Mostaq Hossain, Amani Altarawneh, Jesse Roberts
As blockchain technology and smart contracts become widely adopted, securing them throughout every stage of the transaction process is essential. The concern of improved security f…