Login / Signup
Sol Swords
ORCID
Publication Activity (10 Years)
Years Active: 2006-2023
Publications (10 Years): 10
Top Topics
Case Based Planning
Theorem Prover
Natural Language Learning
Automated Deduction
Top Venues
ACL2
CoRR
ITP
CPP
</>
Publications
</>