BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Rahul Sarkar (Stanford)
DTSTART:20230927T140000Z
DTEND:20230927T150000Z
DTSTAMP:20260423T035415Z
UID:CompAlg/27
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CompAlg/27/"
 >A framework for generating inequality conjectures</a>\nby Rahul Sarkar (S
 tanford) as part of Machine Learning Seminar\n\n\nAbstract\nIn this talk\,
  I'll present some recent and ongoing work\, where we propose a systematic
  approach to finding abstract patterns in mathematical data\, in order to 
 generate conjectures about mathematical inequalities. We focus on strict i
 nequalities of type $f < g$ and associate them with a Banach manifold. We 
 develop a structural understanding of this conjecture space by studying li
 near automorphisms of this manifold. Next\, we propose an algorithmic pipe
 line to generate novel conjecture. As proof of concept\, we give a toy alg
 orithm to generate conjectures about the prime counting function and diame
 ters of Cayley graphs of non-abelian simple groups. Some of these conjectu
 res were proved while others remain unproven.\n
LOCATION:https://researchseminars.org/talk/CompAlg/27/
END:VEVENT
END:VCALENDAR