NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Selene: Pioneering Automated Proof in Software Verification
Lichen Zhang
|
Shuai Lu
|
Nan Duan
|
Paper Details:
Month: August
Year: 2024
Location: Bangkok, Thailand
Venue:
ACL |
Citations
URL
No Citations Yet
https://sel4.systems/
https://coq.inria.fr/
https://dafny.org/
https://isabelle.in.tum.de/
https://lean-lang.org/
https://openai.com/blog/gpt-3-5-turbo-fine-
https://github.com/verus-lang/verus
Field Of Study