BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CMSA
X-ORIGINAL-URL:https://cmsa.fas.harvard.edu
X-WR-CALDESC:Events for CMSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20200308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20201101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20210314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20211107T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20220313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20221106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210120T150000
DTEND;TZID=America/New_York:20210120T160000
DTSTAMP:20260508T013022
CREATED:20240126T093733Z
LAST-MODIFIED:20240515T191339Z
UID:10001440-1611154800-1611158400@cmsa.fas.harvard.edu
SUMMARY:Language Modeling for Mathematical Reasoning
DESCRIPTION:Speaker: Christian Szegedy \nTitle: Language Modeling for Mathematical Reasoning \nAbstract: In this talk\, I will summarize the current state of the art of transformer based language models and give examples on non-trivial reasoning task language models can solve in higher order logic reasoning. I will also discuss how to inject injective bias into transformer networks via pretraining on very simple synthetic tasks and representing graph structures for transformer networks. \n 
URL:https://cmsa.fas.harvard.edu/event/1-20-2021-new-tech-in-math/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-01.20.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210121T083000
DTEND;TZID=America/New_York:20210121T100000
DTSTAMP:20260508T013022
CREATED:20240126T093048Z
LAST-MODIFIED:20240126T093048Z
UID:10001438-1611217800-1611223200@cmsa.fas.harvard.edu
SUMMARY:1/21/2021 Quantum Matter
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/1-21-2021-quantum-matter/
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210125T080000
DTEND;TZID=America/New_York:20210125T090000
DTSTAMP:20260508T013022
CREATED:20240126T095809Z
LAST-MODIFIED:20240126T095909Z
UID:10001445-1611561600-1611565200@cmsa.fas.harvard.edu
SUMMARY:Gromov-Witten/Donaldson Thomas theory and Birational/Symplectic invariants for algebraic surfaces
DESCRIPTION:During the Spring 2021 Semester Artan Sheshmani (CMSA/ I.M. A.U.) will be teaching a CMSA special lecture series on Gromov-Witten/Donaldson Thomas theory and Birational/Symplectic invariants for algebraic surfaces. \nIn order to attend this series\, please fill out this form. \nThe lectures will be held Mondays from 8:00 – 9:30 AM ET and Wednesdays from 8:00 – 9:00 AM ET beginning January 25 on Zoom. \nYou can watch Prof. Sheshmani describe the series here. 
URL:https://cmsa.fas.harvard.edu/event/gromov-witten-donaldson-thomas-theory-and-birational-symplectic-invariants-for-algebraic-surfaces/
LOCATION:Virtual
CATEGORIES:Special Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210127T090000
DTEND;TZID=America/New_York:20210127T103000
DTSTAMP:20260508T013022
CREATED:20230707T114914Z
LAST-MODIFIED:20250328T200938Z
UID:10000904-1611738000-1611743400@cmsa.fas.harvard.edu
SUMMARY:CMSA Math-Science Literature Lecture: Discrepancy Theory and Randomized Controlled Trials
DESCRIPTION:Dan Spielman (Yale University) \nTitle: Discrepancy Theory and Randomized Controlled Trials \nAbstract: Discrepancy theory tells us that it is possible to partition vectors into sets so that each set looks surprisingly similar to every other.  By “surprisingly similar” we mean much more similar than a random partition. I will begin by surveying fundamental results in discrepancy theory\, including Spencer’s famous existence proofs and Bansal’s recent algorithmic realizations of them. Randomized Controlled Trials are used to test the effectiveness of interventions\, like medical treatments. Randomization is used to ensure that the test and control groups are probably similar.  When we know nothing about the experimental subjects\, uniform random assignment is the best we can do. When we know information about the experimental subjects\, called covariates\, we can combine the strengths of randomization with the promises of discrepancy theory. This should allow us to obtain more accurate estimates of the effectiveness of treatments\, or to conduct trials with fewer experimental subjects. I will introduce the Gram-Schmidt Walk algorithm of Bansal\, Dadush\, Garg\, and Lovett\, which produces random solutions to discrepancy problems. I will then explain how Chris Harshaw\, Fredrik Sävje\, Peng Zhang\, and I use this algorithm to improve the design of randomized controlled trials. Our Gram-Schmidt Walk Designs have increased accuracy when the experimental outcomes are correlated with linear functions of the covariates\, and are comparable to uniform random assignments in the worst case. \nTalk chair: Salil Vadhan \nVideo
URL:https://cmsa.fas.harvard.edu/event/cmsa-math-science-literature-lecture_spielman/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/Lecture_-Spielman-1-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210127T103000
DTEND;TZID=America/New_York:20210127T120000
DTSTAMP:20260508T013022
CREATED:20240126T092614Z
LAST-MODIFIED:20240126T092614Z
UID:10001436-1611743400-1611748800@cmsa.fas.harvard.edu
SUMMARY:1/27/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/1-27-2021-quantum-matter-seminar/
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210127T150000
DTEND;TZID=America/New_York:20210127T160000
DTSTAMP:20260508T013022
CREATED:20240126T092449Z
LAST-MODIFIED:20240515T191649Z
UID:10001435-1611759600-1611763200@cmsa.fas.harvard.edu
SUMMARY:Knowledge graph representation: From recent models towards a theoretical understanding
DESCRIPTION:Speaker: Carl Allen and Ivana Balažević – University of Edinburgh School of Informatics \nTitle: Knowledge graph representation: From recent models towards a theoretical understanding \nAbstract: Knowledge graphs (KGs)\, or knowledge bases\, are large repositories of facts in the form of triples (subject\, relation\, object)\, e.g. (Edinburgh\, capital_of\, Scotland). Many models have been developed to succinctly represent KGs such that known facts can be recalled (question answering) and\, more impressively\, previously unknown facts can be inferred (link prediction). Subject and object entities are typically represented as vectors in R^d and relations as mappings (e.g. linear transformations) between them. Such representation can be interpreted as positioning entities in a space such that relations are implied by their relative locations. In this talk we give an overview of knowledge graph representation including select recent models; and\, by drawing a connection to word embeddings\, explain a theoretical model for how semantic relationships can correspond to geometric structure.
URL:https://cmsa.fas.harvard.edu/event/1-27-2021-new-tech-in-math-seminar/
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-01.27.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210128T103000
DTEND;TZID=America/New_York:20210129T000000
DTSTAMP:20260508T013022
CREATED:20240213T101813Z
LAST-MODIFIED:20240213T101813Z
UID:10002410-1611829800-1611878400@cmsa.fas.harvard.edu
SUMMARY:1/28/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/1-28-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210201T100000
DTEND;TZID=America/New_York:20210201T110000
DTSTAMP:20260508T013022
CREATED:20240126T092134Z
LAST-MODIFIED:20240126T092151Z
UID:10001433-1612173600-1612177200@cmsa.fas.harvard.edu
SUMMARY:2/1/2021 Math Physics
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-1-2021-math-physics/
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210202T113000
DTEND;TZID=America/New_York:20210202T123000
DTSTAMP:20260508T013022
CREATED:20240126T091359Z
LAST-MODIFIED:20240126T091359Z
UID:10001431-1612265400-1612269000@cmsa.fas.harvard.edu
SUMMARY:2/2/2021 Computer Science for Mathematicians
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-2-2021-computer-science-for-mathematicians/
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210203T103000
DTEND;TZID=America/New_York:20210203T120000
DTSTAMP:20260508T013022
CREATED:20240126T093215Z
LAST-MODIFIED:20240126T093215Z
UID:10001439-1612348200-1612353600@cmsa.fas.harvard.edu
SUMMARY:2/3/2021 Strongly Correlated Quantum Materials
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-3-2021-strongly-correlated-quantum-materials/
CATEGORIES:Strongly Correlated Quantum Materials and High-Temperature Superconductors
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210204T103000
DTEND;TZID=America/New_York:20210204T120000
DTSTAMP:20260508T013022
CREATED:20240126T091509Z
LAST-MODIFIED:20240126T091509Z
UID:10001432-1612434600-1612440000@cmsa.fas.harvard.edu
SUMMARY:2/4/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-4-2021-quantum-matter-seminar/
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210209T113000
DTEND;TZID=America/New_York:20210209T123000
DTSTAMP:20260508T013022
CREATED:20240126T091127Z
LAST-MODIFIED:20240126T091127Z
UID:10001429-1612870200-1612873800@cmsa.fas.harvard.edu
SUMMARY:2/9/2021 Computer Science for Math
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-9-2021-computer-science-for-math/
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210210T100000
DTEND;TZID=America/New_York:20210210T120000
DTSTAMP:20260508T013022
CREATED:20240126T091253Z
LAST-MODIFIED:20240126T091253Z
UID:10001430-1612951200-1612958400@cmsa.fas.harvard.edu
SUMMARY:2/10/2021 Strongly Correlated Quantum Materials
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-10-2021-strongly-correlated-quantum-materials/
LOCATION:Virtual
CATEGORIES:Strongly Correlated Quantum Materials and High-Temperature Superconductors
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210210T150000
DTEND;TZID=America/New_York:20210210T160000
DTSTAMP:20260508T013022
CREATED:20240126T092338Z
LAST-MODIFIED:20240515T195824Z
UID:10001434-1612969200-1612972800@cmsa.fas.harvard.edu
SUMMARY:A Mathematical Exploration of Why Language Models Help Solve Downstream Tasks
DESCRIPTION:Speaker: Nikunj Saunshi\, Dept. of Computer Science\, Princeton University \nTitle: A Mathematical Exploration of Why Language Models Help Solve Downstream Tasks \nAbstract: Autoregressive language models pretrained on large corpora have been successful at solving downstream tasks\, even with zero-shot usage. However\, there is little theoretical justification for their success. This paper considers the following questions: (1) Why should learning the distribution of natural language help with downstream classification tasks? (2) Why do features learned using language modeling help solve downstream tasks with linear classifiers? For (1)\, we hypothesize\, and verify empirically\, that classification tasks of interest can be reformulated as next word prediction tasks\, thus making language modeling a meaningful pretraining task. For (2)\, we analyze properties of the cross-entropy objective to show that eps-optimal language models in cross-entropy (log-perplexity) learn features that are O(sqrt{eps}) good on such linear classification tasks\, thus demonstrating mathematically that doing well on language modeling can be beneficial for downstream tasks. We perform experiments to verify assumptions and validate our theoretical results. Our theoretical insights motivate a simple alternative to the cross-entropy objective that performs well on some linear classification tasks. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/2-10-2021-new-tech-in-math/
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-02.10.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210211T103000
DTEND;TZID=America/New_York:20210211T120000
DTSTAMP:20260508T013022
CREATED:20240126T090540Z
LAST-MODIFIED:20240126T090540Z
UID:10001428-1613039400-1613044800@cmsa.fas.harvard.edu
SUMMARY:2/11/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-11-2021-quantum-matter-seminar/
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210215T100000
DTEND;TZID=America/New_York:20210215T110000
DTSTAMP:20260508T013022
CREATED:20240126T090436Z
LAST-MODIFIED:20240126T090436Z
UID:10001427-1613383200-1613386800@cmsa.fas.harvard.edu
SUMMARY:2/15/2021 Math Physics Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-15-2021-math-physics-seminar/
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210216T133000
DTEND;TZID=America/New_York:20210216T143000
DTSTAMP:20260508T013022
CREATED:20240126T090101Z
LAST-MODIFIED:20240126T090101Z
UID:10001424-1613482200-1613485800@cmsa.fas.harvard.edu
SUMMARY:2/16/2021 Computer Science for Mathematicians
DESCRIPTION:Speaker: Michael P. Kim (UC Berkeley) \nTitle: Outcome Indistinguishability \nAbstract: Prediction algorithms assign numbers to individuals that are popularly understood as individual “probabilities” — e.g.\, what is the probability of 5-year survival after cancer diagnosis? — and which increasingly form the basis for life-altering decisions. The understanding of individual probabilities in the context of such unrepeatable events has been the focus of intense study for decades within probability theory\, statistics\, and philosophy. Building off of notions developed in complexity theory and cryptography\, we introduce and study Outcome Indistinguishability (OI). OI predictors yield a model of probabilities that cannot be efficiently refuted on the basis of the real-life observations produced by Nature. \nWe investigate a hierarchy of OI definitions\, whose stringency increases with the degree to which distinguishers may access the predictor in question.  Our findings reveal that OI behaves qualitatively differently than previously studied notions of indistinguishability.  First\, we provide constructions at all levels of the hierarchy.  Then\, leveraging recently-developed machinery for proving average-case fine-grained hardness\, we obtain lower bounds on the complexity of the more stringent forms of OI.  The hardness result provides scientific grounds for the political argument that\, when inspecting algorithmic risk prediction instruments\, auditors should be granted oracle access to the algorithm\, not simply historical predictions. \nJoint work with Cynthia Dwork\, Omer Reingold\, Guy N. Rothblum\, Gal Yona; to appear at STOC 2021.
URL:https://cmsa.fas.harvard.edu/event/2-16-2021-computer-science-for-mathematicians/
LOCATION:Virtual
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210217T103000
DTEND;TZID=America/New_York:20210217T120000
DTSTAMP:20260508T013022
CREATED:20240126T090325Z
LAST-MODIFIED:20240126T090340Z
UID:10001426-1613557800-1613563200@cmsa.fas.harvard.edu
SUMMARY:Global Anomalies on the Hilbert Space
DESCRIPTION:Speaker:  Jaume Gomis (Perimeter PI) \nTitle: Global Anomalies on the Hilbert Space \nAbstract: We will discuss an elementary way of detecting some global anomalies from the way the symmetry algebra is realized on the torus Hilbert space of the anomalous theory\, give a physical description of the imprint of the “layers” that enter in the cobordism classification of anomalies and discuss applications\, including how anomalies can imply a supersymmetric spectrum in strongly coupled (nonsupersymmetric) gauge theories.
URL:https://cmsa.fas.harvard.edu/event/2-17-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210218T103000
DTEND;TZID=America/New_York:20210218T120000
DTSTAMP:20260508T013022
CREATED:20240126T090220Z
LAST-MODIFIED:20240126T090220Z
UID:10001425-1613644200-1613649600@cmsa.fas.harvard.edu
SUMMARY:2/18/2021 Quantum Matter Seminar
DESCRIPTION:Speaker:  Xiao-Gang Wen (MIT) \nTitle: A solution to the chiral fermion problem \nAbstract: Motivated by the relation between anomaly and topological/SPT order in one higher dimension\, we propose a solution to the chiral fermion problem. In particular\, we find several sufficient conditions\, such that a chiral fermion field theory can be regularized by an interacting lattice model in the same dimension. We also discuss some related issues\, such as mass without mass term\, and why ‘topological’ phase transitions are usually not “topological” phase transitions.
URL:https://cmsa.fas.harvard.edu/event/2-18-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210222T100000
DTEND;TZID=America/New_York:20210222T110000
DTSTAMP:20260508T013022
CREATED:20240126T085809Z
LAST-MODIFIED:20240126T085809Z
UID:10001423-1613988000-1613991600@cmsa.fas.harvard.edu
SUMMARY:Full SYZ Conjecture for del Pezzo Surfaces and Rational Elliptic Surfaces
DESCRIPTION:Speaker: Yu-Shen Lin (Boston University) \nTitle: Full SYZ Conjecture for del Pezzo Surfaces and Rational Elliptic Surfaces \nAbstract: Strominger-Yau-Zaslow conjecture predicts the existence of special Lagrangian fibrations on Calabi-Yau manifolds. The conjecture inspires the development of mirror symmetry while the original conjecture has little progress. In this talk\, I will confirm the conjecture for the complement of a smooth anti-canonical divisor in del Pezzo surfaces. Moreover\, I will also construct the dual torus fibration on its mirror. As a consequence\, the special Lagrangian fibrations detect a non-standard semi-flat metric and some Ricci-flat metrics that don’t obviously appear in the literature. This is based on a joint work with T. Collins and A. Jacob.
URL:https://cmsa.fas.harvard.edu/event/2-22-2021-math-physics-seminar/
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210223T090000
DTEND;TZID=America/New_York:20210223T103000
DTSTAMP:20260508T013022
CREATED:20230707T115234Z
LAST-MODIFIED:20240103T093827Z
UID:10000905-1614070800-1614076200@cmsa.fas.harvard.edu
SUMMARY:CMSA Math-Science Literature Lecture: Homological (homotopical) algebra and moduli spaces in Topological Field theories
DESCRIPTION:Kenji Fukaya (Simons Center for Geometry and Physics) \nTitle: Homological (homotopical) algebra and moduli spaces in Topological Field theories \nAbstract: Moduli spaces of various gauge theory equations and of various versions of (pseudo) holomorphic curve equations have played important role in geometry in these 40 years. Started with Floer’s work people start to obtain more sophisticated object such as groups\, rings\, or categories from (system of) moduli spaces. I would like to survey some of those works and the methods to study family of moduli spaces systematically. \nTalk chair: Peter Kronheimer \nSlides | Video
URL:https://cmsa.fas.harvard.edu/event/cmsa-math-science-literature-lecture_fukaya/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/Lecture_Fukaya-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210224T103000
DTEND;TZID=America/New_York:20210224T120000
DTSTAMP:20260508T013022
CREATED:20240126T084756Z
LAST-MODIFIED:20240126T084821Z
UID:10001420-1614162600-1614168000@cmsa.fas.harvard.edu
SUMMARY:2/24/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-24-2021-quantum-matter-seminar/
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210224T113000
DTEND;TZID=America/New_York:20210224T123000
DTSTAMP:20260508T013022
CREATED:20240126T084225Z
LAST-MODIFIED:20240126T084225Z
UID:10001418-1614166200-1614169800@cmsa.fas.harvard.edu
SUMMARY:2/23/2021 Computer Science for Mathematicians
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-23-2021-computer-science-for-mathematicians/
LOCATION:Virtual
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210224T150000
DTEND;TZID=America/New_York:20210224T160000
DTSTAMP:20260508T013022
CREATED:20240126T085540Z
LAST-MODIFIED:20240517T194101Z
UID:10001422-1614178800-1614182400@cmsa.fas.harvard.edu
SUMMARY:A Mathematical Language
DESCRIPTION:  \nSpeaker: Thomas Hales\, Univ. of Pittsburgh Dept. of Mathematics \nTitle: A Mathematical Language \nAbstract: A controlled natural language for mathematics is an artificial language that is designed in an explicit way with precise computer-readable syntax and semantics.  It is based on a single natural language (which for us is English) and can be broadly understood by mathematically literate English speakers.  This talk will describe the design of a controlled natural language for mathematics that has been influenced by the Lean theorem prover\, by TeX\, and by earlier controlled natural languages. The semantics are provided by dependent type theory.
URL:https://cmsa.fas.harvard.edu/event/2-24-2021-new-technologies-in-mathematics/
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-02.24.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210225T103000
DTEND;TZID=America/New_York:20210225T120000
DTSTAMP:20260508T013022
CREATED:20240126T084943Z
LAST-MODIFIED:20240126T084943Z
UID:10001421-1614249000-1614254400@cmsa.fas.harvard.edu
SUMMARY:2/25/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-25-2021-quantum-matter-seminar/
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210301T100000
DTEND;TZID=America/New_York:20210301T110000
DTSTAMP:20260508T013022
CREATED:20240126T083833Z
LAST-MODIFIED:20240126T083848Z
UID:10001417-1614592800-1614596400@cmsa.fas.harvard.edu
SUMMARY:Mathematical supergravity and its applications to differential geometry
DESCRIPTION:Speaker: Carlos S. Shahbazi (Hamburg University) \nTitle: Mathematical supergravity and its applications to differential geometry \nAbstract: I will discuss the recent developments in the mathematical theory of supergravity that lay the mathematical foundations of the universal bosonic sector of four-dimensional ungauged supergravity and its Killing spinor equations in a differential-geometric framework.  I will provide the necessary context and background. explaining the results pedagogically from scratch and highlighting several open mathematical problems which arise in the mathematical theory of supergravity\, as well as some of its potential mathematical applications. Work in collaboration with Vicente Cortés and Calin Lazaroiu.
URL:https://cmsa.fas.harvard.edu/event/3-1-2021-mathematical-physics-seminar/
LOCATION:Hybrid
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210302T113000
DTEND;TZID=America/New_York:20210302T123000
DTSTAMP:20260508T013022
CREATED:20240126T083705Z
LAST-MODIFIED:20240126T083705Z
UID:10001416-1614684600-1614688200@cmsa.fas.harvard.edu
SUMMARY:3/2/2021 Computer Science for Mathematicians
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-2-2021-computer-science-for-mathematicians/
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210303T103000
DTEND;TZID=America/New_York:20210303T120000
DTSTAMP:20260508T013022
CREATED:20240126T083602Z
LAST-MODIFIED:20240131T002532Z
UID:10001415-1614767400-1614772800@cmsa.fas.harvard.edu
SUMMARY:3/3/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-3-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210303T150000
DTEND;TZID=America/New_York:20210303T160000
DTSTAMP:20260508T013023
CREATED:20240126T084416Z
LAST-MODIFIED:20240517T194704Z
UID:10001419-1614783600-1614787200@cmsa.fas.harvard.edu
SUMMARY:Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models
DESCRIPTION:Speaker: Jason Rute\, CIBO Technologies \nTitle: Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models \nAbstract: Labeled data for imitation learning of theorem proving in large libraries of formalized mathematics is scarce as such libraries require years of concentrated effort by human specialists to be built. This is particularly challenging when applying large Transformer language models to tactic prediction\, because the scaling of performance with respect to model size is quickly disrupted in the data-scarce\, easily-overfitted regime. We propose PACT ({\bf P}roof {\bf A}rtifact {\bf C}o-{\bf T}raining)\, a general methodology for extracting abundant self-supervised data from kernel-level proof terms for co-training alongside the usual tactic prediction objective. We apply this methodology to Lean\, an interactive proof assistant which hosts some of the most sophisticated formalized mathematics to date. We instrument Lean with a neural theorem prover driven by a Transformer language model and show that PACT improves theorem proving success rate on a held-out suite of test theorems from 32% to 48%.
URL:https://cmsa.fas.harvard.edu/event/3-3-2021-new-tech-in-math/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-03.03.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210304T103000
DTEND;TZID=America/New_York:20210304T120000
DTSTAMP:20260508T013023
CREATED:20240126T083259Z
LAST-MODIFIED:20240126T083259Z
UID:10001413-1614853800-1614859200@cmsa.fas.harvard.edu
SUMMARY:3/4/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-4-2021-quantum-matter-seminar/
CATEGORIES:Quantum Matter
END:VEVENT
END:VCALENDAR