🚨 Last call for applicants interested in #Neurosymbolic AI / #NeSy! We’re still looking for a PhD student or postdoc to join the 🇦🇹 FWF Cluster of Excellence Bilateral AI: www.bilateral-ai.net jobs.tugraz.at/de/jobs/4663... jobs.tugraz.at/de/jobs/71ba... 📅 Deadline: May 31 (just a few days left!)
TU Graz
jobs.tugraz.at
Robert Peharz@ropeharz.bsky.social · 6mo ago🚨 Opportunity for #Neurosymbolic AI folks! I’m looking for a PhD student or postdoc to join the 🇦🇹 FWF Cluster of Excellence Bilateral AI (think #NeSy++): www.bilateral-ai.net Feel free to reach out or share 🙌
![\begin{theorem}
For all $c>1$, \[\frac{1}{2\pi} \int_{-\pi}^{\pi} \frac{1}{c+\sin(\theta)} \mathrm{d} \theta = \frac{1}{\sqrt{c^2-1}}.\]
\end{theorem}
\begin{proof}
Clearly
\[\frac{\mathrm{d}}{\mathrm{d}\theta} \left[ \frac{2}{\sqrt{c^2-1}} \tan^{-1}\left(\frac{1 + c \tan (\theta/2)}{\sqrt{c^2-1}}\right) \right] = \frac{1}{c+\sin(\theta)}.\]
The result now follows from the fundamental theorem of calculus.
\end{proof}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:thfnaqgktdwqbm42radc322i/bafkreih422niyuwsosyjc5yndqxohza3mo5snurp4vofn4g54igvqi3icu)