Results 301 to 310 of about 2,849,722 (390)
Some of the next articles are maybe not open access.
InternVL3.5: Advancing Open-Source Multimodal Models in Versatility, Reasoning, and Efficiency
arXiv.orgWe introduce InternVL 3.5, a new family of open-source multimodal models that significantly advances versatility, reasoning capability, and inference efficiency along the InternVL series. A key innovation is the Cascade Reinforcement Learning (Cascade RL)
Weiyun Wang +62 more
semanticscholar +1 more source
Quarterly Journal of Experimental Psychology, 2006
In two experiments we investigated three-term reasoning with spatial relational assertions using the preposition between as compared to projective prepositions (such as to the left of). For each kind of assertion we distinguish the referent expression (i.e., the grammatical subject) from the relatum expression (i.e., the internal argument of the ...
Hörnig, Robin +2 more
openaire +3 more sources
In two experiments we investigated three-term reasoning with spatial relational assertions using the preposition between as compared to projective prepositions (such as to the left of). For each kind of assertion we distinguish the referent expression (i.e., the grammatical subject) from the relatum expression (i.e., the internal argument of the ...
Hörnig, Robin +2 more
openaire +3 more sources
Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?
arXiv.orgReinforcement Learning with Verifiable Rewards (RLVR) has recently demonstrated notable success in enhancing the reasoning performance of large language models (LLMs), particularly on mathematics and programming tasks. Similar to how traditional RL helps
Yang Yue +6 more
semanticscholar +1 more source
arXiv.org
Reinforcement Learning with Verifiable Rewards (RLVR) has emerged as a powerful approach to enhancing the reasoning capabilities of Large Language Models (LLMs), while its mechanisms are not yet well understood.
Shenzhi Wang +17 more
semanticscholar +1 more source
Reinforcement Learning with Verifiable Rewards (RLVR) has emerged as a powerful approach to enhancing the reasoning capabilities of Large Language Models (LLMs), while its mechanisms are not yet well understood.
Shenzhi Wang +17 more
semanticscholar +1 more source
Video-R1: Reinforcing Video Reasoning in MLLMs
arXiv.orgInspired by DeepSeek-R1's success in eliciting reasoning abilities through rule-based reinforcement learning (RL), we introduce Video-R1 as the first attempt to systematically explore the R1 paradigm for incentivizing video reasoning within multimodal ...
Kaituo Feng +7 more
semanticscholar +1 more source
IS REASONABLE DOUBT REASONABLE?
Legal Theory, 2003It is difficult, if not impossible, to so define the term “reasonable doubt” as to satisfy a subtle and metaphysical mind, bent on the detection of some point, however attenuated, upon which to hang a criticism. —Supreme Court of VirginiaMcCue v. Commonwealth, 103 Va.
openaire +1 more source
LIMO: Less is More for Reasoning
arXiv.orgWe challenge the prevailing assumption that complex reasoning in large language models (LLMs) necessitates massive training data. We demonstrate that sophisticated mathematical reasoning can emerge with only a few examples.
Yixin Ye +5 more
semanticscholar +1 more source
Philotheos, 2018
This article is published as Vuckovic, M. (2018). Reason’s Reasons: First Principles in the Second-Century Pagan Apologetic. Philotheos, 18(2), 208-232. https://doi.org/10.5840/philotheos201818216. ; The 2-c debate between the Greek Apologists and the pagan Graeco-Roman tradition is multifaceted and complex.
openaire +2 more sources
This article is published as Vuckovic, M. (2018). Reason’s Reasons: First Principles in the Second-Century Pagan Apologetic. Philotheos, 18(2), 208-232. https://doi.org/10.5840/philotheos201818216. ; The 2-c debate between the Greek Apologists and the pagan Graeco-Roman tradition is multifaceted and complex.
openaire +2 more sources
WIREs Cognitive Science, 1999
AbstractThis article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectivesif, or, andand. It considers the various ways in which computer scientists have written programs to prove the validity of inferences in this and other domains.
openaire +3 more sources
AbstractThis article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectivesif, or, andand. It considers the various ways in which computer scientists have written programs to prove the validity of inferences in this and other domains.
openaire +3 more sources
Contemporary Psychology: A Journal of Reviews, 1996
Several varieties of metareasoning are discussed. The prototypical case is argument analysis, namely the interpretation and/or evaluation of arguments. A second special case is self-reflective argumentation. A third case is methodological reflection, namely the formulation, interpretation, evaluation, and application of methodological principles; these
openaire +2 more sources
Several varieties of metareasoning are discussed. The prototypical case is argument analysis, namely the interpretation and/or evaluation of arguments. A second special case is self-reflective argumentation. A third case is methodological reflection, namely the formulation, interpretation, evaluation, and application of methodological principles; these
openaire +2 more sources