Search
Items tagged with: Logic
I'm a little puzzled at the salience that is being given to the Apple conclusions on #LLM #reasoning when we have lots of prior art. For example: LLMs cannot correctly infer a is b, if their corpora only contain b is a. #Paper: arxiv.org/abs/2309.12288
The Reversal Curse: LLMs trained on "A is B" fail to learn "B is A"
We expose a surprising failure of generalization in auto-regressive large language models (LLMs). If a model is trained on a sentence of the form "A is B", it will not automatically generalize to the reverse direction "B is A".arXiv.org
Coming up in the new academic year, I get to spend the semester with a fresh bunch of second-year students who are going on to learn some more logic than the first-year basics.
Like last year, in Intermediate Logic we’ll be exploring natural deduction proof theory and different kinds of models for propositional, modal and first-order predicate logic.
New this year, my Doktorvater, Prof. Graham Priest, will be joining us in the last week of classes, so we’ll have a fun back-and-forth about truth-value gaps, gluts and paradoxes to end things with a bit of a bang.
How-to: Use Logic's Built In Net Send and Net Receive Plugins
In this video I will explain the AU Net Send and AU Net Receive Plug-ins built into Logic Pro which enable you to pipe audio from an audio track to a MIDI tr...YouTube
#AudioMo: Welcome to the Shift R trick.
I play stuff, I shift R it, I hope it’s OK.
This is a track-stack with two Keyscape sounds, the Double Felt Grand, and the Dulcitone.
Shift R in #Logic is basically like the capture option in #Ableton, IE: even when the transport is stopped, it will capture what you recorded and add it to the focused MIDI track. Doesn't work with audio.