Malinca : Groupe de lecture

Liste d'articles autour du traitement automatique des langues et des assistants à la démonstration

Quelques articles généraux utiles à lire

Current trends in LLM inspired formal theorem proving

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code

Backtranslation

Linguistic structure annotation and rhetorical structures

Building a Large Annotated Corpus of English: The Penn Treebank

Discourse Coherence

Mann et Thompson: Rhethorical structure organisation: a theory of text organisation

demo

Enhanced rhethorical structure theory

Mathieu Morey, Philippe Muller, Nicholas Asher: A Dependency Perspective on RST Discourse Parsing and Evaluation

Stergos Afantenos, Pascal Denis, Philippe Muller, Laurence Danlos: Learning Recursive Segments for Discourse Parsing

RST page

RST Tool

An Algorithmic Approach to Analyzing Rhetorical Structures

document parsing