« first day (3128 days earlier)      last day (1300 days later) » 

6:43 PM
3
Q: Number of maximal cliques in a graph where the largest induced cycle is $C_4$

padawanSo far, I have found out that chordal graphs have linear number of maximal cliques with respect to the number of vertices. In general, it is exponential. I am trying to determine whether the number of maximal cliques in a graph with no induced $C_{n}\ |\ n>4$ is exponential with respect to the ...

 
 
1 hour later…
7:59 PM
1
Q: What is the category theory interpretation of higher order abstract syntax?

Steven Stewart-GallusSuppose you have a simple sort of lambda calculus abstract syntax tree. The fine details don't really matter. data T = Unit | Void | T :*: T | T :+: T | T :-> T | I data Term x a where Var :: x -> Term x x Int :: Int -> Term x I Add :: Term x I -> Term x I -> Term x I Apply :: Term x (a :->

 
 
2 hours later…
10:00 PM
7
Q: How can AI researchers avoid "overfitting" to commonly-used benchmarks as a community?

Dennis SoemersIn fields such as Machine Learning, we typically (somewhat informally) say that we are overfitting if improve our performance on a training set at the cost of reduced performance on a test set / the true population from which data is sampled. More generally, in AI research, we often end up testi...

 

« first day (3128 days earlier)      last day (1300 days later) »