Mathematical logic sequence modeling