What do you mean by 'auto-provisioning'? You mean creating a Userid in SEN automatically on first SSO login? If so then you should see them pop up in (by default) Imported Users. But check the following Server Settings:
If that is all set, and you know SSO is definitely working (existing users? They can still access via SSO?) then it may be worth opening an incident.