CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search

Xiao-Wen Yang, Zhi Zhou, Haiming Wang, Aoxue Li, Wen-Da Wei +3 more
2/12/2026
Semantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{yang2026carts,
  title  = {CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search},
  author = {Xiao-Wen Yang and Zhi Zhou and Haiming Wang and Aoxue Li and Wen-Da Wei and Hui Jin and Zhenguo Li and Yufeng Li},
  year   = {2026},
  url    = {https://api.semanticscholar.org/CorpusID:dec8d65cbb5803b30b64a72cf1f2f9d731aa1d29},
  journal = {ICLR 2025 2025}
}

Discussion