Use of ML-tools in automated theorem proving
Maciej Cichon (University of Lodz)
18-Sep-2024, 10:20-10:45 (15 months ago)
ChemistryComputer scienceMathematicsPhysics
Audience: researchers in the topic
Series comments: https://zoom.us/j/93433986368?pwd=5C52NVNhP0cotHjQSmoV7PLYeT3tWQ.1
or by Zoom.
Zoom meeting is with parameters:
Meeting ID 970 0252 3721 Pass code: 076833
| Organizers: | Krzysztof Pomorski*, Hypercomplex Seminar 2024, professor Mariusz Zubert, professor Dariusz Partyka, professor Renata Dlugosz, dr Malgorzata Nowak-Kepczyk, dr Andrzej Michalski |
| *contact for this listing |
Export talk to