56 citations
- Centre National de la Recherche ScientifiqueFR7 papers
- InsermFR4 papers
- Université Paris CitéFR4 papers
- Laboratory of Excellence GR-ExFR3 papers
- University of NamurBE3 papers
- Appalachian State UniversityUS2 papers
- Biologie intégrée du globule rouge et de l'ErythropoïèseFR2 papers
- Comisión Nacional de Investigación y Desarrollo AeroespacialPE2 papers
- Délégation Paris 7FR2 papers
- Institut de Mécanique Céleste et de Calcul des ÉphéméridesFR2 papers
- Institut National de la Transfusion SanguineFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
31 papers
Case study: solving P-99 with LPTP and an LLM
Fred Mesnard, Thierry Marianne, Étienne Payet +1
Ninety-Nine Prolog Problems (P-99) is a famous set of Prolog exercises. We solved the first thirty three just by prompting an LLM (Large Language Model). We used Claude from Anthro…
Case study: proving sqrt(2) irrational with LPTP and an LLM
Fred Mesnard, Étienne Payet, Wim Vanhoof
We present the interactions with an LLM (Large Language Model) aiming at proving that the square root of 2 is not a rational number in an LP (Logic Programming) context. We start f…
Automated Theorem Proving for Prolog Verification
Fred Mesnard, Thierry Marianne, Étienne Payet
LPTP (Logic Program Theorem Prover) is an interactive natural-deduction-based theorem prover for pure Prolog programs with negation as failure, unification with the occurs check, a…
Observation-only learning of neural mapping schemes for gappy satellite-derived ocean colour parameters
Clément Dorffer, Frédéric Jourdin, Thi Thuy Nga Nguyen +3
Monitoring optical properties of coastal and open ocean waters is crucial to assessing the health of marine ecosystems. Deep learning offers a promising approach to address these e…
AlphaFold2 for protein structure prediction: Best practices and critical analyses
Ragousandirane Radjasandirane, Alexandre G. de Brevern
AlphaFold2 (AF2) has emerged in recent years as a groundbreaking innovation that has revolutionized several scientific fields, in particular structural biology, drug design and the…
Constraints on the structure and seasonal variations of Triton's atmosphere from the 5 October 2017 stellar occultation and previous observations
J. Marques Oliveira, B. Sicardy, A. R. Gomes-Júnior +234
A stellar occultation by Neptune's main satellite, Triton, was observed on 5 October 2017 from Europe, North Africa, and the USA. We derived 90 light curves from this event, 42 of…