Results 281 to 290 of about 1,501,850 (327)
Segmentation-Guided Development of Visual Classification Criteria for Alzheimer’s Disease
Peters M +4 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Generating and Exploiting Automated Reasoning Proof Certificates
Communications of the ACM, 2023Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems.
Haniel Barbosa +12 more
semanticscholar +1 more source
Automated reasoning tools in GeoGebra discovery
ACM Communications in Computer Algebra, 2021We present some current achievements in the software package GeoGebra Discovery that provides several symbolic tools and commands to mechanically discover (and verify symbolically) relationships on planar geometry constructions. Our presentation includes
Z. Kovács, T. Recio, M. Vélez
semanticscholar +1 more source
Intelligenza Artificiale: The international journal of the AIxIA, 2013
Knowledge representation and automated reasoning are two of the pillars of Artificial Intelligence but, differently from other pillars, they are strictly intertwined. Depending on how knowledge is represented, different types of reasoning can be applied and, on the other hand, new developments in the automated reasoning column fosters new ideas on the ...
GAVANELLI, Marco, Toni Mancini
openaire +2 more sources
Knowledge representation and automated reasoning are two of the pillars of Artificial Intelligence but, differently from other pillars, they are strictly intertwined. Depending on how knowledge is represented, different types of reasoning can be applied and, on the other hand, new developments in the automated reasoning column fosters new ideas on the ...
GAVANELLI, Marco, Toni Mancini
openaire +2 more sources
Proceedings of the May 4-7, 1981, national computer conference on - AFIPS '81, 1981
This paper is an introduction to an automated reasoning program developed at Northern Illinois University and Argonne National Laboratory over the past nine years. Recently the program has reached the stage where it can be considered a useful research tool in a variety of disciplines.
S. K. Winker, Larry Wos, Ewing Lusk
openaire +1 more source
This paper is an introduction to an automated reasoning program developed at Northern Illinois University and Argonne National Laboratory over the past nine years. Recently the program has reached the stage where it can be considered a useful research tool in a variety of disciplines.
S. K. Winker, Larry Wos, Ewing Lusk
openaire +1 more source
Rewarding Progress: Scaling Automated Process Verifiers for LLM Reasoning
International Conference on Learning RepresentationsA promising approach for improving reasoning in large language models is to use process reward models (PRMs). PRMs provide feedback at each step of a multi-step reasoning trace, potentially improving credit assignment over outcome reward models (ORMs ...
Amrith Rajagopal Setlur +8 more
semanticscholar +1 more source