University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Combining Machine Learning and Automated Reasoning: Some Training Examples

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Combining Machine Learning and Automated Reasoning: Some Training Examples

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact INI IT.

BPR - Big proof

Co-Author: Cezary Kaliszyk (U. of Innsbruck)

I am planning to show some samples of how machine learning and automated reasoning are usefully combined in various tasks related to interactive/automated proving, and automated formalization. My plan is to make the session a bit more interactive/improvised and show/discuss things in more detail, such as what features we use, what are the datasets and benchmarks/competitions, what are the training/evaluation tasks, and how the resulting systems are run and used. I encourage questions and discussion.




This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Centre for Family Research Seminar Series Number Theory Seminar Art and Education Graduate Conference Heffers Bookshop events 2009 Silicon Valley comes to the UK 2011 Zoology

Other talks

The Most Influential Living Philosopher? Louisiana Creole - a creole at the periphery Malaria’s Time Keeping Surrogate models in Bayesian Inverse Problems Using Inclusive Design to Focus on User Experience (UX) Complement and microglia mediated sensory-motor synaptic loss in Spinal Muscular Atrophy
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity