Robuta

https://proceedings.iclr.cc/paper_files/paper/2025/hash/69dbaf03f7f37a7ccad9ccc92875a44d-Abstract-Conference.html CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree... neural theorem proving carts advancing diversified tactic