GECko+: a Grammatical and Discourse Error Correction Tool

1 code implementation • JEP/TALN/RECITAL 2021 • Eduardo Calò, Léo Jacqmin, Thibo Rosemplatt, Maxime Amblard, Miguel Couceiro, Ajinkya Kulkarni

GECko+ : a Grammatical and Discourse Error Correction Tool We introduce GECko+, a web-based writing assistance tool for English that corrects errors both at the sentence and at the discourse level.

Sentence Sentence Ordering

General Boolean Formula Minimization with QBF Solvers

no code implementations • 12 Mar 2023 • Eduardo Calò, Jordi Levy

First, using brute force, generating all possible formulae in increasing size and checking if they are equivalent to the original formula by testing all possible variable assignments.