OpenNMT

swMATH26505MaRDI QIDQ38236FDOQ38236

Author name not available (Why is that?)

Source code repository: https://github.com/OpenNMT/OpenNMT-py

Cited In (2)

• Improving stateful premise selection with transformers
• Deep Generation of Coq Lemma Names Using Elaborated Terms

This page was built for software: OpenNMT