Pistis

The Pistis model family, comprising 27B- and 9B-parameter multimodal large language models built on Qwen3.6 and Qwen3.5, was introduced in arXiv paper 2609.28554v1 using a post-training framework that…

Researchers introduced Pistis, an agentic proof search tool that generates faithful formal Lean proofs, and applied it to Euclid's Elements, producing proofs favored 2.89x by human reviewers and 5.2x …