Selene: Pioneering Automated Proof in Software Verification.
Lichen ZhangShuai LuNan DuanPublished in: ACL (1) (2024)
Keyphrases
- semi automated
- automated theorem provers
- theorem prover
- data driven
- automated analysis
- fully automated
- semi automatic
- computer aided
- search algorithm
- metadata
- logic programming
- data sets
- fully automatic
- computer assisted
- context sensitive
- three dimensional
- social networks
- artificial intelligence
- information retrieval