Undergraduates
A first literature review that is actually reviewed literature: sources found, kept for a reason, cited correctly, on a page the faculty will accept.
Write the thesis you meant to write — from real sources, in your language.
Describe it in a line. IQThesis plans the research, reads the literature and the statistics where they live, drafts chapter by chapter onto a real page, and cites only what the sources actually say. English, French or Arabic.
Free while in beta. No card. Your writing stays yours.
- Sources with DOIs, never invented
- Outline you approve before a word is written
- Every draft is yours to accept
What a run looks like — the real stages, in order.
Why writers choose it
IQThesis against a chatbot.
 | A chatbot | |
|---|---|---|
| Sources | ReferencesReal published papers with DOIs, and institutional statistics when the brief asks for them | ReferencesOften invented or impossible to verify |
| EvidenceAn evidence line per source — what it establishes — recorded before it is cited | EvidenceNo record of what a source actually says | |
| Your own papersUpload them; they are indexed and searchable by meaning, down to the page | Your own papersPaste excerpts by hand | |
| Writing | The pageA typeset A4 or Letter page, columns, front matter, a bibliography that keeps itself | The pageA chat box; you paste into a word processor |
| The processAn outline you approve, then chapters that land as tinted drafts you accept or send back | The processOne long answer, take it or leave it | |
| LanguagesEnglish, French and Arabic — with right-to-left pages set the way a faculty wants them | LanguagesText in many languages, no page | |
| Citation stylesAPA, MLA, Chicago, IEEE, Vancouver, Harvard — switchable, everything follows | Citation stylesFormatted by hand, checked by hand | |
| Integrity | SimilarityA reading of what matched indexed sources, each match classified and told what fixes it | SimilarityNothing |
| Machine-likenessA score with the signals behind it and the checker’s reasoning — a probability, never a verdict | Machine-likenessNothing | |
| PromisesNone that a supervisor would not accept | Promises“Undetectable”, “plagiarism-free” |
The tools
One agent, six instruments.
Each one takes a passage or a brief and gives something back you can check. None of them promises what it cannot show.
AI agentIn the editorAsk about your document, or tell it what to writeIt knows your document — its sections, its sources and what each one establishes. Ask it a question and it answers from that. Tell it what to write and it writes onto the page, as a draft you accept.Research writerFrom a briefFrom one line to chapters, with the sources found firstIt plans the search, reads the literature and — when the brief asks for figures — the institutions that publish them, keeps a handful of sources with an evidence line each, drafts an outline for you to approve, then writes chapter by chapter.Direct writerSecondsA title, an abstract, a conclusion — from what is already on the pageFor everything that does not need new literature: it writes from the manuscript and the sources on file in one call, and places the result where you point — after a section, at the cursor, as a new section with its heading.Plagiarism checkA readingMatched sources, each match named for what it isA passage is read against indexed sources. What comes back is the share that matched and every match classified — a quotation, a reference entry, a common phrase, or wording that needs a citation — with what fixes it. Never a verdict.AI detectorA readingHow machine-like a passage reads, and whyA score out of 100, the signals it is made of — predictability, burstiness, vocabulary, structural tells, voice — and the checker’s own reasoning, verbatim. A probabilistic reading that cannot prove authorship either way, and says so.HumanizerRefinementClearer, more natural, still yoursRewrites a passage for clarity, flow and academic tone, with the meaning, the numbers, the citations and your claims kept. The result sits beside the original with a diff; nothing touches a document unless you say so.ParaphraserRefinementThe same claims in other wordsSentence by sentence, the point restated in your own synthesis, citations intact. For the passage that reads too close to its source, and for the abstract that has to say the same thing twice differently.
What you can build
A thesis, a mémoire, an article, a report.
Sixteen templates across four kinds of document, each with its page already set — margins, columns, front matter, citation style.
A thesis, chapter by chapter
The outline is approved once; each chapter lands as a draft, the run parks, and you decide whether to go on, change the plan or stop. Six to nine chapters, level-two parts inside each.
An article in one pass
Title, authors, abstract and the sections, written in one pass and set in two columns if the venue wants them — IEEE, ACM or a journal’s own look.
A conference paper
Short, dense, numbered citations in order of first appearance, an abstract that gets written like any other section rather than pasted in afterwards.
A report
Scope, background, findings, recommendations — with the figures the brief asked for, from the institutions that publish them, cited as what they are.
Scientific article — two column
Formal Verification of Smart Contracts
Abstract
Once deployed, a contract cannot easily be patched, and the assets it controls may be substantial. This paper reviews the guarantees each verification technique offers and the barriers reported by practitioners.
Introduction
Blockchains were promoted as platforms for trustworthy, automated execution, yet widely used contract systems still fail in surprisingly fragile ways. Programming mistakes and subtle interactions between contracts have repeatedly led to stuck funds[1].
Against this background the question is not whether contracts need stronger assurance, but which forms of assurance are realistic to obtain for real-world code[2].
Surveys report that formal techniques can already prove or refute some classes of property for substantial subsets of widely used languages, though coverage varies between approaches[1][3].
At the same time, foundational questions about how best to validate contracts remain unsettled, and the difficulty of reading counterexamples is cited more often than proof power.
Page 1 of 84,675 words
The pageA4 or Letter, your margins, your columns — laid out as you write rather than guessed at and discovered at print time. Two-column articles break across columns and pages the way the printed paper will, and an Arabic paper starts in the right column.
Citations
The bibliography keeps itself.
APA, MLA, Chicago, IEEE, Vancouver and Harvard, rendered by the same engine reference managers use. Change the style and every citation and the bibliography follow. Numbered styles count in order of first appearance.
…have repeatedly led to stuck funds[1] and privilege escalations[2].
References
- [1]J. Liu and Z. Liu, “A Survey on Security Verification of Blockchain Smart Contracts,” IEEE Access, 2019.
- [2]D. Magazzeni, P. McBurney and W. Nash, “Validation and Verification of Smart Contracts,” Computer, 2017.
- [3]N. Ivanov et al., “Security Threat Mitigation for Smart Contracts,” ACM Computing Surveys, 2023.
Who it is for
Designed for the last mile of a degree.
Master’s students
A mémoire with a structure, in French or Arabic, its sources on file with what each one establishes — so the defence is about the argument, not the formatting.
Doctoral candidates
Chapters that land one at a time, an evidence map that grows with the thesis, and a page that stays typeset at 60,000 words.
Researchers
Articles in two columns, numbered citations, a similarity reading before submission, and rewriting that keeps every claim and every number.
Integrity
Integrity is the product, not a checkbox.
A tool that helps you write for a degree must be one a supervisor would sign off on. These are the rules it is built on.
Never an invented source
The writer can only cite what the search found — a published paper with a DOI or an institutional page with a URL. If nothing relevant was found, it says so and writes nothing.
Similarity is a reading, not a verdict
A share that matched indexed sources is reported as exactly that. Each match is named for what it is, and the fix offered is attribution — a citation, a quotation, your own synthesis — never rewording until a number drops.
Every draft is yours to accept
Nothing the agent writes becomes your text until you keep it. Drafts land tinted, with Accept and Back above the page, and the original is restored exactly.
What it does not do yet
Figures and tables, equations and cross-references are not built, and neither is collaborative editing. Arabic pages are set right-to-left in the editor, but the Arabic PDF export is not yet final. Everything above this line is working today.
Frequently asked questions
Is IQThesis free?
Yes, while it is in beta: no card, up to 30 research runs a month and 200 documents on the free plan. Asking the agent about your document does not count against anything.
Does it invent references?
No. Every source comes from a search it actually ran — a published paper with a DOI, or an institutional page with a URL when the brief asks for statistics — and each is kept with a line saying what it establishes. If nothing relevant is found, the run stops and says so.
Will the writing pass AI detectors?
We do not promise that, and we would not trust a tool that did. Detectors are probabilistic. IQThesis gives you the reading — the score and the signals behind it — and a refinement that improves clarity and tone while keeping your claims. It does not sell evasion.
Which languages does it write in?
English, French and Arabic. The page follows: an Arabic manuscript is set right-to-left, in an Arabic Naskh face, with its columns starting on the right and its headings in Arabic.
Can I export the document?
PDF and Word, carrying your columns, your title block, your abstract and your bibliography. The PDF is real selectable text, never a picture of the page.
Who owns what is written?
You do. The drafts are yours to keep or discard, the documents are yours to export and delete, and nothing you write trains anything.