M. Zohaib Nawaz

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 3

Top Topics

Computer Algebra Systems

First Order Logic

Natural Deduction

Top Venues

Appl. Soft Comput.

Publications

M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
An evolutionary/heuristic-based proof searching framework for interactive theorem prover. Appl. Soft Comput. 104 (2021)
M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques. Appl. Intell. 51 (3) (2021)
M. Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun
Proof searching in HOL4 with genetic algorithm. SAC (2020)