Login / Signup
Zaid Marji
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 5
Top Topics
Automated Reasoning
Prime Implicants
Dependency Directed Backtracking
Backtracking Search
Top Venues
CoRR
FLAIRS Conference
</>
Publications
</>
John Licato
,
Logan Fields
,
Zaid Marji
Resoling Open-textured Rules with Templated Interpretive Arguments.
CoRR
(2022)
Zaid Marji
,
John Licato
Backtracking Restarts for Deep Reinforcement Learning.
FLAIRS Conference
(2021)
Zaid Marji
,
Animesh Nighojkar
,
John Licato
Probing the Natural Language Inference Task with Automated Reasoning Tools.
FLAIRS Conference
(2020)
Zaid Marji
,
Animesh Nighojkar
,
John Licato
Probing the Natural Language Inference Task with Automated Reasoning Tools.
CoRR
(2020)
John Licato
,
Zaid Marji
,
Sophia Abraham
Scenarios and Recommendations for Ethical Interpretive AI.
CoRR
(2019)