#lptp — Public Fediverse posts

Case study: solving P-99 with LPTP and an LLM. ~ Fred Mesnard, Thierry Marianne, Étienne Payet, Wim Vanhoof. https://arxiv.org/abs/2607.21196v1 #AI4Math #LPTP #Prolog

Case study: solving P-99 with LPTP and an LLM. ~ Fred Mesnard, Thierry Marianne, Étienne Payet, Wim Vanhoof. https://arxiv.org/abs/2607.21196v1 #AI4Math #LPTP #Prolog

Case study: proving sqrt(2) irrational with LPTP and an LLM. ~ Fred Mesnard, Étienne Payet, Wim Vanhoof. https://arxiv.org/abs/2607.21187v1 #AI4Math #LPTP #Prolog

Case study: proving sqrt(2) irrational with LPTP and an LLM. ~ Fred Mesnard, Étienne Payet, Wim Vanhoof. https://arxiv.org/abs/2607.21187v1 #AI4Math #LPTP #Prolog

Readings shared January 12, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/12-readings_shared_01-12-25 #ITP #Coq #Rocq #Math #HoTT #CommonLisp #LogicProgramming #Prolog #LPTP

Readings shared January 12, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/12-readings_shared_01-12-25 #ITP #Coq #Rocq #Math #HoTT #CommonLisp #LogicProgramming #Prolog #LPTP

Vers une automatisation de la certification des propriétés de clôture pour Prolog. ~ Thierry Marianne, Fred Mesnard, Etienne Payet. https://hal.science/hal-04859406/document #Prolog #LogicProgramming #LPTP

Vers une automatisation de la certification des propriétés de clôture pour Prolog. ~ Thierry Marianne, Fred Mesnard, Etienne Payet. https://hal.science/hal-04859406/document #Prolog #LogicProgramming #LPTP