Time to start offering AI-tuned proof tactics to the world!
The time is ripe for "productifying" our work on AI-tuned proof tactics. Few weeks ago we made the first release of our AI-guided fine-tuning toolset, also known as PSL fine-tuner, for broader internal use. Our ambition is that fine-tuning of PSL proof tactics could be offered as part of Prover Cloud Apps in the [...]