☆ Yσɠƚԋσʂ ☆@lemmy.ml to Technology@lemmy.mlEnglish · 2 days agoOpen source researchers at Princeton, Stanford and Huawei are working on efficient theorem proving using neural networksmessage-squaremessage-square0fedilinkarrow-up15arrow-down10file-text
arrow-up15arrow-down1message-squareOpen source researchers at Princeton, Stanford and Huawei are working on efficient theorem proving using neural networks☆ Yσɠƚԋσʂ ☆@lemmy.ml to Technology@lemmy.mlEnglish · 2 days agomessage-square0fedilinkfile-text
https://arxiv.org/html/2502.07640v2 https://arxiv.org/html/2502.00212v4 https://arxiv.org/html/2501.18310v1 The benchmarks to follow are https://paperswithcode.com/sota/automated-theorem-proving-on-minif2f-test https://trishullab.github.io/PutnamBench/leaderboard.html
