From the 1 of 20 papers with an AI index.
14 citations
- Centre National de la Recherche ScientifiqueFR6 papers
- LIRA - Laboratoire d'instrumentation et de recherche en astrophysiqueFR4 papers
- RIKEN Center for Interdisciplinary Theoretical and Mathematical SciencesJP4 papers
- Sorbonne UniversitéFR4 papers
- Center for Theoretical PhysicsPL3 papers
- Observatoire de la Côte d’AzurFR3 papers
- Observatoire de ParisFR3 papers
- Sorbonne Paris CitéFR3 papers
- Université Côte d'AzurFR3 papers
- Université Paris CitéFR3 papers
- Astronomy and SpaceAU2 papers
- Feminist Center for Studies and Advisory ServicesBR2 papers
20 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…
Wick rotation derivation for weak values of the density and time-dependent density functional theory
Russell B. Thompson, Zarin Tasneem, Yves Caudano
The paper derives the equations of time-dependent density functional theory (TDDFT) from a ring‑polymer self‑consistent field framework by using a Wick rotation that links imaginar…
Emergence of higher-order interactions in systems of coupled Kuramoto oscillators with time delay
Narumi Fujii, Keisuke Taga, Riccardo Muolo +2
We show that higher-order interactions naturally emerge from time-delayed pairwise coupling in Kuramoto oscillators. By expanding the delayed pairwise coupling to the second order,…
On the efficiency of pairwise Hamiltonian control to desynchronize the higher-order Kuramoto model
Martin Moriamé, Riccardo Muolo, Timoteo Carletti +1
Synchronization of coupled oscillators is observed in many natural and engineered systems and emerges due to the interactions within the system. It can be both beneficial, e.g., in…
Collective decision-making with higher-order interactions on -uniform hypergraphs
Thierry Njougouo, Timoteo Carletti, Elio Tuci
Understanding how group interactions influence opinion dynamics is fundamental to the study of collective behavior. In this work, we propose and study a model of opinion dynamics o…