Results 121 to 130 of about 38,933 (219)

A MacMahon analysis view of cylindric partitions. [PDF]

Ramanujan J
Li R, Uncu AK.
europepmc   +1 more source

Automated theorem proving

Deliver an automated reasoning system, as an extension to Vampire/Deepire, that can reason over the CoreSense HOL ontology and is optimized for it. This will include machine learning extensions and optimized strategies for higher-order Vampire, as well as extensions for reasoning with the closed world assumption and various modal logic and temporal ...
openaire   +1 more source

Computer-assisted construction of Ramanujan-Sato series for 1 over π. [PDF]

Ramanujan J
Hemmecke R, Paule P, Radu CS.
europepmc   +1 more source

Olympiad-level formal mathematical reasoning with reinforcement learning. [PDF]

Nature
Hubert T, Mehta R, Sartran L, Horváth MZ, Žužić G, Wieser E, Huang A, Schrittwieser J, Schroecker Y, Masoom H, Bertolli O, Zahavy T, Mandhane A, Yung J, Beloshapka I, Ibarz B, Veeriah V, Yu L, Nash O, Lezeau P, Mercuri S, Sönne C, Mehta B, Davies A, Zheng D, Pedregosa F, Li Y, von Glehn I, Rowland M, Albanie S, Velingker A, Schmitt S, Lockhart E, Hughes E, Michalewski H, Sonnerat N, Hassabis D, Kohli P, Silver D.   +38 more
europepmc   +1 more source

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Formal methods for safety-critical machine learning: a systematic literature review. [PDF]

Front Artif Intell
Newcomb A, Ochoa O.
europepmc   +1 more source

Test case sampling optimization for safety validation of automated driving systems. [PDF]

Nat Commun
Qian C, Xu J, Xing X, Guo F.
europepmc   +1 more source

Transparent AI for mathematics: transformer-based large language models for mathematical entity relationship extraction with XAI. [PDF]

Sci Rep
Aurpa TT.
europepmc   +1 more source

Road Layout in The KPZ Class. [PDF]

J Stat Phys
Balázs M, Bhattacharjee S, Das K, Harper D.   +3 more
europepmc   +1 more source