You've reached the site of Bartosz Piotrowski -- a PhD student doing
research on applying machine learning to automated reasoning.

Email: bartoszpiotrowski@post.pl

• Papers
• Code
• Resume
• Key