☆ Yσɠƚԋσʂ ☆@lemmy.ml to Technology@lemmy.mlEnglish · 1 day agoOpen source researchers at Princeton, Stanford and Huawei are working on efficient theorem proving using neural networksmessage-squaremessage-square0fedilinkarrow-up16arrow-down10file-text
arrow-up16arrow-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 · 1 day 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
