Automated Theorem Provers as the Hub of the AI Math Ecosystem
Stephan SchulzSLIDES
EUROPROOFNET-WG5: THEOREM PROVING AND MACHINE LEARNING IN THE AGE OF LLMS
|
|
EUROPROOFNET-WG5: THEOREM PROVING AND MACHINE LEARNING IN THE AGE OF LLMS
|
|