Thread
Stories related to "Analysing Mathematical Reasoning Abilities of Neural Models" across the full archive.
Rethinking Neural Intelligence: Scientists Uncover Surprising Memory Capabilities of the Spinal Cord
(scitechdaily.com)
Aya Takeoka and her team at the RIKEN Center for Brain Science in Japan have identified the neural pathways in the spinal cord that facilitate motor learning independently of the brain. Their research, published in the journal Science on April 11, found two critical groups of spinal cord neurons, on...
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022)
(dl.acm.org)
Abstract:
> Reasoning about the use of external resources is an important aspect of many practical applications. Effect systems enable tracking such information in types, but at the cost of complicating signatures of common functions. Capabilities coupled with escape analysis offer safety and nat...
Understanding the Limitations of Mathematical Reasoning in Large Language Models
(machinelearning.apple.com)
GSM-Symbolic: Understanding the limitations of mathematical reasoning in large language models
(machinelearning.apple.com)