I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Learning to Guide a Saturation-Based Theorem Prover:

Abdelaziz, Ibrahim ; Crouse, Maxwell ; Makni, Bassem...
IEEE Transactions on Pattern Analysis and Machine Intelligence.  45 (2023)  1 - p. 738-751 , 2023
Link: https://doi.org/10.1109/tpami.2022.3140382