Results 141 to 150 of about 38,933 (219)

Solving olympiad geometry without human demonstrations. [PDF]

Nature
Trinh TH, Wu Y, Le QV, He H, Luong T.
europepmc   +1 more source

KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. [PDF]

PLoS One
Wang Z, Zhu X, Wang H, Yu Y, Lan Y.
europepmc   +1 more source

MetaMind: A multi-agent transformer-driven framework for automated network meta-analyses. [PDF]

PLoS One
Livieratos A, Kudela M, Zhao Y, Chen AS, Luo X, Lin J, Zhang D, Dharmarajan S, Tsiodras S, Rudrapatna V, Gamalo M.   +10 more
europepmc   +1 more source

Chemputer and chemputation-A universal chemical compound synthesis machine. [PDF]

Proc Natl Acad Sci U S A
Cronin L, Pagel S, Sharma A.
europepmc   +1 more source

Tradeoffs in automated financial regulation of decentralized finance due to limits on mutable turing machines. [PDF]

Sci Rep
Charoenwong B, Kirby RM, Reiter J.
europepmc   +1 more source

Design of shared steering control system with enhanced overall stability. [PDF]

Sci Rep
Li X, Wang Y, Su C, Wang Z, Zheng X, Huang J.   +5 more
europepmc   +1 more source

Stability analysis of heterogeneous oligopoly games of increasing players: A computational approach. [PDF]

PLoS One
Hou R, Li X, Wan W.
europepmc   +1 more source

Scalable privacy-preserving data analytics for IoMT via FHE and zk-SNARK-enabled edge aggregation. [PDF]

Sci Rep
Ben Othman S, Mihret N.
europepmc   +1 more source

Advanced ANN-LMB modeling of hepatitis B transmission across sexual networks and its disability burden. [PDF]

Sci Rep
Zarin R, Guedri K, Makhdoum BM, Niyazi HA, Fadhl BM, El-Wahed Khalifa HA.   +5 more
europepmc   +1 more source

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source