Solved! Go to Solution.
I had the similar use case. Indeed I copied the Lead ID into another custom field called Marketo Lead ID and was able to access it. Key is to define the Marketo Lead ID as string field so that we can use multi values during creating smart list.