Zulip Chat Archive

Stream: general

Topic: CFP: Math-AI Workshop at ICLR 2021


view this post on Zulip Wenda Li (Jan 27 2021 at 00:16):

Dear all,

We’re excited to announce the first Math-AI workshop at ICLR 2021! Please consider to submit a paper.

Thanks!


Website: http://mathai-iclr.github.io/

Call for Papers:

The Math-AI workshop is intended to provide a forum for discussing missing elements and major bottlenecks towards demonstrating mathematical reasoning ability in AI systems. We hope that the outcome of the workshop will lead us in meaningful directions towards a generic approach to mathematical reasoning, and shed light on general reasoning mechanisms for artificial intelligence. In particular, we are interested but not limited to the following areas of questions:
Mathematical reasoning vs. general intelligence?


What is a potential path from mathematical reasoning to general artificial intelligence?

  • What is special about mathematical reasoning compared to other reasoning tasks?
  • What are the pros and cons of studying mathematical reasoning?
  • Can the lessons learned from mathematical reasoning generalize to other reasoning tasks?
  • What machine learning techniques are we missing in the quest for machines that perform mathematical reasoning?

How to deal with large action space – hopeless exploration in mathematical reasoning?

  • How to design methods that allow flexible planning and jumpy reasoning?
  • How to collect large scale datasets for mathematical reasoning?
  • Can one augment the dataset by designing good synthetic datasets?
  • How do we utilize informal mathematical datasets?
  • Human-like theorem proving vs formal theorem proving using ITPs (interactive theorem provers), trade-offs?
  • Do we need a special theorem proving assistant for machine learning?

We are also interested in works on other reasoning problems that share similar structures, and can bring great insights to mathematical reasoning, such as

  • Program synthesis
  • Code verification
  • Retrosynthesis problem
  • Text games

Important Dates:

  • Paper submission opens: Jan 26, 11:59PM PST
  • Deadline for paper submission: Feb 26, 11:59PM PST
  • Review decisions released: March 26, 11:59PM PST
  • Deadline for camera ready: April 26, 11:59PM PST
  • Workshop: May 8, 2019

Speakers & Panelists:

  • Yoshua Bengio, MILA.
  • Timothy Gowers, Collège de France.
  • Mateja Jamnik, University of Cambridge
  • Jay McClelland, Stanford University
  • Alison Pease, University of Dundee
  • Stanislas Polu, OpenAI
  • Markus Rabe, Google
  • Christian Szegedy, Google
  • Josef Urban, CIIRC

Organizers:

  • Kshitij Bansal, Google
  • John Harrison, Amazon
  • Wenda Li, University of Cambridge
  • David McAllester, TTI Chicago
  • Melanie Mitchell, Santa Fe Institute
  • Yuhuai (Tony) Wu, University of Toronto

Last updated: May 13 2021 at 21:12 UTC