We present Llemma, a large language model for mathematics.

Ranked #5 on Automated Theorem Proving on miniF2F-test

We present a formal model of Checked C, a dialect of C that aims to enforce spatial memory safety.

Programming Languages Software Engineering D.3.1

Our fast-paced digital economy shaped by global competition requires increased data-driven decision-making based on artificial intelligence (AI) and machine learning (ML).

We present initial results of an ongoing engineering study on the feasibility of a space mission to the focal region of the solar gravitational lens (SGL).

Instrumentation and Methods for Astrophysics Earth and Planetary Astrophysics General Relativity and Quantum Cosmology

It then removes one by one the three simplifying assumptions, each removal raising one of the three issues, and leading to a corresponding adaptation to the proof rule.

Programming Languages Software Engineering D.1; D.2; D.3; F.3

For the first time in the world, we succeeded in synthesizing the room-temperature superconductor ($T_c \ge 400$ K, 127$^\circ$C) working at ambient pressure with a modified lead-apatite (LK-99) structure.

Superconductivity

Online services pervasively employ manipulative designs (i. e., dark patterns) to influence users to purchase goods and subscriptions, spend more time on-site, or mindlessly accept the harvesting of their personal data.

Human-Computer Interaction

By using an asymptotic formula known for the numbers of Euler and Bernoulli it is possible to obtain an explicit expression of the nth digit of $\pi$ in decimal or in binary, it also makes it possible to obtain the $n^{\rm th}$ digit of powers of $\pi^n$.

Number Theory 11Y60

Until 1973 there was no database of integer sequences.

Number Theory Combinatorics 05-00, 11-00, 11Bxx, 48-00, 68-00

Quantum electrodynamics (QED) is considered the most accurate theory in the history of science.

General Physics