1 item
#theorem-proving
Toutes les news taguées avec ce sujet.
- RECHERCHEheat 52
DeepInsightTheorem : raisonnement par insight pour la démonstration informelle de théorèmes
Un nouveau framework enseigne aux LLMs à identifier les techniques clés dans les preuves mathématiques informelles, améliorant significativement leur raisonnement.