From Expert-Guided Proof Search to Automated Open-Problem Solving

 (arxiv.org)

2 points | by sbulaev 7 hours ago ago

No comments yet.