Zombori, Zsolt and Csiszárik, Adrián and Michalewski, Henryk and Kaliszyk, Cezary and Urban, Josef (2020) Update on FLoP, a Reinforcement Learning based Theorem Prover. In: 5th Conference on Artificial Intelligence and Theorem Proving, 2020.09.13-2020.09.19, Aussois.
|
Text
paper_29.pdf Download (284kB) | Preview |
Official URL: http://aitp-conference.org/2020/abstract/paper_29....
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 23 Nov 2020 14:16 |
| Last Modified: | 23 Nov 2020 14:16 |
| URI: | http://real.mtak.hu/id/eprint/117261 |
Actions (login required)
 |
Edit Item |
