For triangle-free (girth $\geq 4$) graph $G$. The following theorem holds true
Theorem (Ajtai et al.): For a triangle-free graph $G$ with maximum degree $\Delta$,
$$\alpha(G) \geq \frac{n(G)}{8d}\log_2d.$$
Where $n(G)$ is the vertex size of the graph, $d$ is the avg degree and $\alpha(G)$ is the size of maximum independent set.
My Question : Are there extensions of above result for graphs with girth $\geq l$ ?