Tom isn't so clever as Lucy, but he works harder than her.
Tom isn't as clever as Lucy, but he studies harder than her.
Tom is not as clever as Lucy is but he studies harder than she does.
?