Denis Efremov
Identifiers
No identifiers captured yet.
Papers (3)
- Humanity's Last Exam cs.LG · 2025 · author #95
- Lemma Functions for Frama-C: C Programs as Proofs cs.SE · 2018 · author #3
- Deductive Verification of Unmodified Linux Kernel Library Functions cs.SE · 2018 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Mikhail Mandrykin 2 shared papers
- Aakaash Nattanmai 1 shared papers
- Aaron Kirtland 1 shared papers
- Aarush Sinha 1 shared papers
- Abdallah Galal 1 shared papers
- Abdelkader Dendane 1 shared papers
- Abdurrahim Yilmaz 1 shared papers
- Abhijeet Saha 1 shared papers
- Abhishek Shukla 1 shared papers
- Abram Jackson 1 shared papers
- Adam Bouyamourn 1 shared papers
- Adam Jones 1 shared papers
- Adam Khoja 1 shared papers
- Adam Wecker 1 shared papers
- Adam Zweiger 1 shared papers
- Adithya Shenoy 1 shared papers
- Aditya Malusare 1 shared papers
- Adrian Cosma 1 shared papers
- Advaith Avadhanam 1 shared papers
- Ahmad Sakor 1 shared papers