Export
Export to IEEEtran LaTeX, IEEE-oriented Word, Markdown, text, or BibTeX, with preflight that separates checked from unknown.
Formats
Click Export. Choose LaTeX (IEEEtran), Word (.docx, IEEE), Markdown, Plain text, or BibTeX (.bib).
LaTeX can download an external rivul.bib (IEEE classic) or an inline single file. Word offers A4 or Letter. LaTeX offers IEEE journal or IEEE conference.
IEEE submission source ZIP
In the export dialog, click IEEE submission ZIP. The archive contains paper.tex, rivul.bib, a README, and figure files when they can be resolved. It is source material to inspect and compile against the target venue's current requirements, not a guarantee of acceptance or compliance.
Preflight
In the export dialog, click Preflight, or choose Export or IEEE submission ZIP for an IEEE package (LaTeX, Word, or ZIP). Rivul AI runs the report first and shows it in the panel; confirm Download to get the files. Checks include an estimated page count, required headings (Abstract or Introduction), leftover placeholders such as Your Name or an email address, mechanical consistency, a journal-readiness score, and retraction status for cited DOIs (the same Crossref path as Source quality).
Warnings do not block download. If Crossref does not respond, Preflight says the references were not checked, which is not a pass. Preflight does not certify that every reference is unretracted. Markdown, plain text, and BibTeX export without this gate.
Bibliography ownership
Manuscript exports, including LaTeX, BibTeX, Word, Markdown, and plain text, are included for every account. Every account can also use Settings → Account → Download export to retrieve its papers, references, and library records in the account archive.
Something here wrong or missing? Use the contact form.