Author
Daniele Sannino
Recent research
- AI & ComputingOpen access
Large language models are increasingly asked to perform tasks made of several dependent steps (multi-digit arithmetic, multi-step planning, rule-following, program synthesis) where the final answer is correct only if every one of those steps is correct; a single mistake anywhere...
- BiologyOpen access
The research is still ongoing, and this serves mainly as proof of paternity. It will be finalized soon.The seed of a generative grammar is usually chosen. Here it is measured. On the type of square matrices theoperator Ω(A,B) = ABT − BTA — we name it bract
- BiologyOpen access
The research is still ongoing, and this serves mainly as proof of paternity. It will be finalized soon.The seed of a generative grammar is usually chosen. Here it is measured. On the type of square matrices theoperator Ω(A,B) = ABT − BTA — we name it bract
- AI & ComputingOpen access
The formal repertoire of mechanics from a single binary operator - DRAFT
The research is still ongoing, and this serves mainly as proof of paternity. It will be finalized soon.Odrzywółek showed that one binary operator on the reals, with the constant 1 as seed, generates a declared36-primitive basis of elementary mathematics by nesting alone. This pap...
- AI & ComputingOpen access
The formal repertoire of mechanics from a single binary operator - DRAFT
The research is still ongoing, and this serves mainly as proof of paternity. It will be finalized soon.Odrzywółek showed that one binary operator on the reals, with the constant 1 as seed, generates a declared36-primitive basis of elementary mathematics by nesting alone. This pap...
- BiologyOpen access
The research is still ongoing, and this serves mainly as proof of paternity. It will be finalized soon.The seed of a generative grammar is usually chosen. Here it is measured. On the type of square matrices theoperator Ω(A,B) = ABT − BTA — we name it bract