Loading profile…

Loading activity…

World & Business

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Dejan Jovanović (@dddejan) · Digg

Dejan Jovanović

@dddejan

Automated Reasoning @ Axiom Math

following
followers

Featured in

AI

Axiom announces Lean formalization of finite simple groups classification

Axiom calls the formalization complete and computer-verified, describing original work of about 15,000 pages.

287012345678901234567890123456789

240 Sources, 8d ago, updated 8d ago

Video from X

X

AI

Dejan Jovanović joins Axiom

Axiom says Jovanović previously worked as a senior applied scientist at AWS's Automated Reasoning Group.

1501234567890123456789

3 Sources, 32d ago, first seen 32d ago

Connections

@dddejan