Blog

Learn About Our Meetup

5000+ Members

GO >

MEETUPS

LEARN, CONNECT, SHARE

Join our meetup, learn, connect, share, and get to know your Toronto AI community.

JOIN

JOB POSTINGS

INDEED POSTINGS

Browse through the latest deep learning, ai, machine learning postings from Indeed for the GTA.

JOBS

CONTACT

CONNECT WITH US

Are you looking to sponsor space, be a speaker, or volunteer, feel free to give us a shout.

CONTACT

[R] Representing Theorems as Graphs Improves State-of-the-Art by 50% in Deep Automated Theorem Proving

Written by torontoai on May 28, 2019. Posted in Reddit MachineLearning.

submitted by /u/GrandmasterMochizuki
[link] [comments]

Plug yourself into AI and don't miss a beat

Linkedin Group

Discord Channel

Join our Mailing List

Toronto AI is a social and collaborative hub to unite AI innovators of Toronto and surrounding areas. We explore AI technologies in digital art and music, healthcare, marketing, fintech, vr, robotics and more. Toronto AI was founded by Dave MacDonald and Patrick O'Mara.