## New answers tagged computer-science

6
votes

Accepted

### Soft question: Deep learning and higher categories

Sure, there are plenty of potential applications of higher category theory to machine learning and deep learning. Such applications are still in their infancy, so don't expect a new algorithm, getting ...

5
votes

### Soft question: Deep learning and higher categories

After the success of Graph Deep Learning, folks are moving up the chain: a few articles, see for instance this one, have begun considering Simplicial Neural Architectures (SSN) (the main motivation ...

1
vote

### Admissibility of Harrop's rule, computationally

Let $x : \lnot A$ be a free variable and plug it into a closed term $p : \lnot A \implies (B \lor C)$. You now have a term $p x : B \lor C$. Simplify it. There are three possible outcomes:
$px = \...

Top 50 recent answers are included

#### Related Tags

computer-science × 620co.combinatorics × 125

computational-complexity × 118

computability-theory × 93

algorithms × 87

lo.logic × 86

graph-theory × 65

nt.number-theory × 46

reference-request × 40

pr.probability × 34

ct.category-theory × 32

formal-languages × 25

mg.metric-geometry × 23

it.information-theory × 23

linear-algebra × 22

automata-theory × 22

na.numerical-analysis × 20

lambda-calculus × 19

ag.algebraic-geometry × 15

st.statistics × 15

soft-question × 14

np × 13

set-theory × 12

computer-algebra × 12

cryptography × 12