C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Selene: Pioneering Automated Proof in Software Verification.
Lichen Zhang
Shuai Lu
Nan Duan
Published in:
CoRR (2024)
Keyphrases
</>
automated theorem provers
semi automated
artificial intelligence
data driven
fully automated
theorem prover
automated classification
data mining
information systems
multimedia
wide range
human operators
automated analysis
linear logic