Mining Tactics for Automated Theorem Proving

@inproceedings{ASE26,
  author = {Jian Fang and Yixun Yao and Yingfei Xiong},
  title = {Mining Tactics for Automated Theorem Proving},
  year = {2026},
  month = {10},
  booktitle = {ASE'26: 41th IEEE/ACM International Conference on Automated Software Engineering},
  site_corr = {3}
}