Toward large reasoning models: A survey of reinforced reasoning with large language models. [PDF]
Patterns (N Y)Xu F +19 more
europepmc +1 more source
A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation [PDF]
Beibei Xiong +5 more
openalex +1 more source
Bayesian Graphical Models for Multiscale Inference in Medical Image-Based Joint Degeneration Analysis. [PDF]
Diagnostics (Basel)Kumar R +7 more
europepmc +1 more source
Nonlinear control of quadrotor UAV under rotor failure for robust trajectory tracking. [PDF]
Sci RepSimha A, Ambroziak L.
europepmc +1 more source
A Novel Framework for Cardiovascular Disease Detection Using a Hybrid CWT-SIFT Image Representation and a Lightweight Residual Attention Network. [PDF]
Diagnostics (Basel)El Boujnouni I.
europepmc +1 more source
Artificial intelligence in pharmacovigilance: a narrative review and practical experience with an expert-defined Bayesian network tool. [PDF]
Int J Clin PharmAlgarvio RC +4 more
europepmc +1 more source
On approximating a new generalization of traveling salesman problem. [PDF]
HeliyonHuang Z, Liao X, Naik PA, Lu X.
europepmc +1 more source
Predictor-Based Output Feedback Control of Tumour Growth With Positive Input: Application to Antiangiogenic Therapy. [PDF]
IET Syst BiolHomayounzade M.
europepmc +1 more source
CSE 1.0-A First-Order Automated Theorem Prover Based on Contradiction Separation Rule.
, 2020 Feng Cao +3 more
openalex +1 more source
Formalizing Automated Market Makers in the Lean 4 Theorem Prover [PDF]
Daniele Pusceddu, Massimo Bartoletti
openalex +1 more source