Licence
Une première revue de littérature qui en est vraiment une : des sources trouvées, gardées pour une raison, citées correctement, sur une page que la faculté acceptera.
Rédigez la thèse que vous vouliez écrire — à partir de vraies sources, dans votre langue.
Décrivez-la en une ligne. IQThèse planifie la recherche, lit la littérature et les statistiques là où elles se publient, rédige chapitre par chapitre sur une vraie page, et ne cite que ce que les sources disent réellement. En français, en arabe ou en anglais.
Gratuit pendant la bêta. Sans carte bancaire. Vos écrits restent les vôtres.
- Des sources avec DOI, jamais inventées
- Un plan que vous approuvez avant le premier mot
- Chaque brouillon est à vous d’accepter
Ce que fait une recherche — les vraies étapes, dans l’ordre.
Pourquoi le choisir
IQThèse face à un chatbot.
 | Un chatbot | |
|---|---|---|
| Sources | RéférencesDe vrais articles publiés avec DOI, et des statistiques institutionnelles quand le brief les demande | RéférencesSouvent inventées ou invérifiables |
| PreuvesUne ligne de preuve par source — ce qu’elle établit — notée avant d’être citée | PreuvesAucune trace de ce que dit une source | |
| Vos propres articlesDéposez-les ; ils sont indexés et interrogeables par le sens, jusqu’à la page | Vos propres articlesDes extraits collés à la main | |
| Rédaction | La pageUne page A4 ou Letter composée, des colonnes, une page de titre, une bibliographie qui se tient à jour | La pageUne fenêtre de discussion ; vous collez dans un traitement de texte |
| La méthodeUn plan que vous approuvez, puis des chapitres qui arrivent en brouillons teintés, à accepter ou à renvoyer | La méthodeUne longue réponse, à prendre ou à laisser | |
| Les languesFrançais, arabe et anglais — avec des pages de droite à gauche conformes aux attentes de la faculté | Les languesDu texte en plusieurs langues, sans page | |
| Styles de citationAPA, MLA, Chicago, IEEE, Vancouver, Harvard — interchangeables, tout suit | Styles de citationMis en forme à la main, vérifiés à la main | |
| Intégrité | SimilaritéUne lecture de ce qui correspond à des sources indexées, chaque correspondance classée avec ce qui la corrige | SimilaritéRien |
| Ressemblance machineUn score avec les signaux qui le composent et le raisonnement du vérificateur — une probabilité, jamais un verdict | Ressemblance machineRien | |
| PromessesAucune qu’un directeur de recherche refuserait | Promesses« Indétectable », « zéro plagiat » |
Les outils
Un agent, six instruments.
Chacun prend un passage ou un brief et rend quelque chose que vous pouvez vérifier. Aucun ne promet ce qu’il ne peut pas montrer.
Agent IADans l’éditeurInterrogez votre document, ou dites-lui quoi écrireIl connaît votre document — ses sections, ses sources et ce que chacune établit. Posez une question : il répond à partir de cela. Dites-lui quoi écrire : il rédige sur la page, en brouillon à accepter.Rédacteur-chercheurDepuis un briefD’une ligne aux chapitres, sources trouvées d’abordIl planifie la recherche, lit la littérature et — quand le brief demande des chiffres — les institutions qui les publient, retient quelques sources avec une ligne de preuve chacune, rédige un plan à approuver, puis écrit chapitre par chapitre.Rédacteur directQuelques secondesUn titre, un résumé, une conclusion — depuis ce qui est déjà sur la pagePour tout ce qui ne demande pas de nouvelle littérature : il rédige à partir du manuscrit et des sources en fichier en un seul appel, et place le résultat où vous l’indiquez — après une section, au curseur, en nouvelle section avec son titre.Vérification de plagiatUne lectureLes sources correspondantes, chaque correspondance nomméeUn passage est lu contre des sources indexées. Il en revient la part qui correspond et chaque correspondance classée — une citation, une entrée bibliographique, une expression courante, ou une formulation à référencer — avec ce qui la corrige. Jamais un verdict.Détecteur d’IAUne lectureÀ quel point un passage sonne machine, et pourquoiUn score sur 100, les signaux qui le composent — prévisibilité, variation, vocabulaire, marques structurelles, voix — et le raisonnement du vérificateur, tel quel. Une lecture probabiliste qui ne peut prouver la paternité dans aucun sens, et qui le dit.HumaniseurAffinagePlus clair, plus naturel, toujours le vôtreRéécrit un passage pour la clarté, le rythme et le ton académique, en gardant le sens, les chiffres, les citations et vos affirmations. Le résultat s’affiche à côté de l’original avec les différences ; rien ne touche un document sans votre accord.ReformulateurAffinageLes mêmes affirmations, d’autres motsPhrase par phrase, le propos redit dans votre propre synthèse, citations intactes. Pour le passage trop proche de sa source, et pour le résumé qui doit dire deux fois la même chose autrement.
Ce que vous pouvez produire
Une thèse, un mémoire, un article, un rapport.
Seize modèles pour quatre genres de document, chacun avec sa page déjà réglée — marges, colonnes, page de titre, style de citation.
Une thèse, chapitre par chapitre
Le plan est approuvé une fois ; chaque chapitre arrive en brouillon, la recherche se met en pause, et vous décidez de continuer, de changer le plan ou de vous arrêter là. Six à neuf chapitres, avec leurs parties.
Un article en une passe
Titre, auteurs, résumé et sections, rédigés d’une traite et composés en deux colonnes si la revue l’exige — IEEE, ACM ou l’allure propre d’une revue.
Une communication
Court, dense, citations numérotées par ordre d’apparition, un résumé rédigé comme n’importe quelle section plutôt que collé après coup.
Un rapport
Périmètre, contexte, constats, recommandations — avec les chiffres demandés par le brief, pris chez les institutions qui les publient, cités pour ce qu’ils sont.
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 sur 84 675 mots
La pageA4 ou Letter, vos marges, vos colonnes — composées au fil de la frappe plutôt qu’estimées et découvertes à l’impression. Les articles en deux colonnes se coupent entre colonnes et entre pages exactement comme au tirage, et un article en arabe commence par la colonne de droite.
Citations
La bibliographie se tient à jour toute seule.
APA, MLA, Chicago, IEEE, Vancouver et Harvard, rendues par le moteur qu’utilisent les gestionnaires de références. Changez de style : chaque citation et la bibliographie suivent. Les styles numérotés comptent par ordre de première apparition.
…have repeatedly led to stuck funds[1] and privilege escalations[2].
Références
- [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.
Pour qui
Conçu pour le dernier kilomètre d’un diplôme.
Master
Un mémoire structuré, en français ou en arabe, ses sources en fichier avec ce que chacune établit — pour que la soutenance porte sur l’argument, pas sur la mise en forme.
Doctorat
Des chapitres qui arrivent un à un, une carte des preuves qui grandit avec la thèse, et une page qui reste composée à 60 000 mots.
Chercheurs
Des articles en deux colonnes, des citations numérotées, une lecture de similarité avant soumission, et une réécriture qui garde chaque affirmation et chaque chiffre.
Intégrité
L’intégrité est le produit, pas une case à cocher.
Un outil qui aide à écrire pour un diplôme doit être un outil qu’un directeur de recherche accepterait de signer. Voici les règles sur lesquelles il est construit.
Jamais de source inventée
Le rédacteur ne peut citer que ce que la recherche a trouvé — un article publié avec son DOI ou une page institutionnelle avec son URL. Si rien de pertinent n’est trouvé, il le dit et n’écrit rien.
La similarité est une lecture, pas un verdict
Une part qui correspond à des sources indexées est rapportée comme exactement cela. Chaque correspondance est nommée pour ce qu’elle est, et la correction proposée est l’attribution — une citation, une mise entre guillemets, votre propre synthèse — jamais une reformulation jusqu’à ce qu’un chiffre baisse.
Chaque brouillon est à vous d’accepter
Rien de ce que l’agent écrit ne devient votre texte avant que vous le gardiez. Les brouillons arrivent teintés, avec Accepter et Retour au-dessus de la page, et l’original est restauré à l’identique.
Ce qu’elle ne fait pas encore
Les figures et tableaux, les équations et les renvois ne sont pas encore développés, ni l’édition collaborative. Les pages en arabe sont composées de droite à gauche dans l’éditeur, mais l’export PDF en arabe n’est pas encore finalisé. Tout ce qui précède fonctionne aujourd’hui.
Questions fréquentes
IQThèse est-elle gratuite ?
Oui, pendant la bêta : sans carte, jusqu’à 30 recherches par mois et 200 documents avec le forfait gratuit. Interroger l’agent sur votre document ne compte pour rien.
Invente-t-elle des références ?
Non. Chaque source vient d’une recherche réellement effectuée — un article publié avec son DOI, ou une page institutionnelle avec son URL quand le brief demande des statistiques — et chacune est gardée avec une ligne disant ce qu’elle établit. Si rien de pertinent n’est trouvé, la recherche s’arrête et le dit.
Le texte passera-t-il les détecteurs d’IA ?
Nous ne le promettons pas, et nous ne ferions pas confiance à un outil qui le promettrait. Les détecteurs sont probabilistes. IQThèse vous donne la lecture — le score et les signaux qui le composent — et un affinage qui améliore la clarté et le ton en gardant vos affirmations. Elle ne vend pas de contournement.
Dans quelles langues écrit-elle ?
En français, en arabe et en anglais. La page suit : un manuscrit en arabe est composé de droite à gauche, dans une police naskh, ses colonnes commençant à droite et ses titres en arabe.
Puis-je exporter le document ?
En PDF et en Word, avec vos colonnes, votre page de titre, votre résumé et votre bibliographie. Le PDF contient du vrai texte sélectionnable, jamais une image de la page.
À qui appartient ce qui est écrit ?
À vous. Les brouillons sont à vous de garder ou d’écarter, les documents à vous d’exporter et de supprimer, et rien de ce que vous écrivez n’entraîne quoi que ce soit.