Forschung
Hermes: LLMs kombinieren informelle und formale Mathematik, höhere Genauigkeit
In der Welt der großen Sprachmodelle (LLMs) hat informelle Mathematik lange Zeit die Flexibilität und Effizienz bei der Argumentationsbildu…
arXiv – cs.AI