works on
ai-generated feedback 1complexity analysis 1english as a foreign language 1explorable automata 1extrinsic evaluation 1history-deterministic automata 1infinite-word acceptance 1intrinsic evaluation 1learner-centered evaluation 1parity automata 1written corrective feedback 1

From the 2 of 14 papers with an AI index.

most citedFailures and Successes to Learn a Core Conceptual Distinction from the Statistics of Language

5 citations

researchers with a paper here
collaborating institutions
Showing cs.DMShow all

1 paper · 1 filter

cs.DM2026

Local certification of geometric graph classes

Oscar Defrain, Louis Esperet, Aurélie Lagoutte +2

The goal of local certification is to locally convince the vertices of a graph that satisfies a given property. A prover assigns short certificates to the vertices of the g…