# An evolutionary/heuristic-based proof searching framework for interactive theorem prover

> Research article (Applied Soft Computing, 2021) · cited 13× · AI/ML

**Wikidata**: [openalex:W3131858178](https://www.wikidata.org/wiki/openalex:W3131858178)  
**Source**: https://4ort.xyz/entity/an-evolutionary-heuristic-based-proof-searching-framework-for-interactive-theorem-prover