Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Creative Maths Challenge


view this post on Zulip Email Gateway (Aug 22 2022 at 18:46):

From: Lawrence Paulson <lp15@cam.ac.uk>
[Forwarded on behalf of Mateja Jamnik]

My research group at Cambridge in collaboration with Sussex University is organising a competition we think you may be interested in. To participate in our competition Maths Challenge: Creative Solutions Wanted! individuals, or group of individuals, need to find and explain original ways to solve probability problems and send those solutions to us. It is open to everybody and we offer several prizes to winners.

This competition is organised as part of our project funded by the EPSRC (EP/R030650/1) 'How to (re)represent it?', which aims to build an AI system that adapts itself to users to give better explanations to problems. With your participation, we hope to get closer to our goal of making computer systems communicate with us in more human-like and accessible ways.

For more information about the Maths Challenge, please visit:

http://users.sussex.ac.uk/~gg44/rep2rep/

Please note that the deadline is on 9 December.

If you have any questions or require more information from us, please do not hesitate to contact us: rep2rep@sussex.ac.uk

If you are interested, please participate, or I would be grateful if you pass on the information to your students and colleagues who may be interested.

Many thanks in advance.

Kind regards,
Mateja

mateja jamnik • univ of cambridge computer laboratory
mateja.jamnik@cl.cam.ac.ukhttp://www.cl.cam.ac.uk/~mj201


Last updated: Apr 20 2024 at 04:19 UTC