Jing Tang

Neue Methoden und Benchmarks sollen die Formalisierung von Mathematik mit Lean 4 vereinfachen.

Eine Methode, um Sprachmodelle anzupassen, damit sie spezielle Geschäftsaufgaben erfüllen.

SkyScript-100M verwandelt die Skripterstellung für kurze Dramen.

Ein Blick auf die Vorteile von lokalen Modellen und LLMOps-Pipelines.

Erfahre, wie LoopSCC die komplexe Schleifenanalyse vereinfacht, um besser Software zu testen.

Untersuchung der Auswirkungen von Ethereums EIP-4844 auf Builder und Rollups.

HAI-DEF bietet Tools, um die KI-Entwicklung für Gesundheitsanwendungen zu vereinfachen.

Forscher finden langlebige Zustände in NiPS und entdecken neue Möglichkeiten für die Wechselwirkung mit Licht.

Entdecke, wie Hochspin-Systeme Gruppen von Photonen für fortgeschrittene Anwendungen erzeugen.

Forscher finden Wege, wie grosse Sprachmodelle ihr Wissen besser ausdrücken können.