heretic-org/Phi-4-mini-reasoning-heretic

heretic-org/Phi-4-mini-reasoning-heretic is a 3.8 billion parameter, decoder-only transformer model based on Microsoft's Phi-4-mini-reasoning, specifically modified using Heretic v1.2.0 to be a decensored version. It features a 32768-token context length and is primarily optimized for multi-step, logic-intensive mathematical problem-solving tasks, excelling in formal proof generation, symbolic computation, and advanced word problems, particularly in compute-constrained environments.