Learning Proof Heuristics by Adaptive Parameters

Fuchs. "Learning Proof Heuristics by Adaptive Parameters." International Conference on Machine Learning, 1995. doi:10.1016/B978-1-55860-377-6.50037-2

[Fuchs. "Learning Proof Heuristics by Adaptive Parameters." International Conference on Machine Learning, 1995.](https://mlanthology.org/icml/1995/fuchs1995icml-learning/) doi:10.1016/B978-1-55860-377-6.50037-2

@inproceedings{fuchs1995icml-learning,
  title     = {{Learning Proof Heuristics by Adaptive Parameters}},
  author    = {Fuchs, Matthias},
  booktitle = {International Conference on Machine Learning},
  year      = {1995},
  pages     = {235-243},
  doi       = {10.1016/B978-1-55860-377-6.50037-2},
  url       = {https://mlanthology.org/icml/1995/fuchs1995icml-learning/}
}