Phi-2

Microsoft's small language model (Nov 2023) with strong reasoning capabilities.