Suche nach Formeln | meineki.news

BandPO: Dynamische Grenzen für stabile LLM‑Reinforcement‑Learning‑Optimierung

In der Welt der großen Sprachmodelle (LLMs) ist die Stabilität beim Reinforcement Learning entscheidend. Traditionell sorgt das Clipping‑Ve…

arXiv – cs.LG 06.03.2026 05:00

Forschung

NeuroProlog: Neuromodell kombiniert Symbolik und KI für mathematisches Denken

NeuroProlog ist ein neurosymbolisches System, das mathematische Wortaufgaben in ausführbare Prolog‑Programme übersetzt und damit eine forma…

arXiv – cs.AI 04.03.2026 05:00

Forschung

Stein-Identität für q‑Gaussian mit Unterstützung – Gradientenschätzer

Stein’s Identität ist ein zentrales Werkzeug im maschinellen Lernen, das in generativen Modellen, stochastischen Optimierungen und vielen a…

arXiv – cs.LG 05.03.2026 05:00

Forschung

MMKG‑RDS: KI‑gestützte Daten‑Synthese aus multimodalen Wissensgraphen

Die neue Methode MMKG‑RDS nutzt multimodale Wissensgraphen, um hochwertige Trainingsdaten für das Reasoning von KI‑Modellen zu erzeugen. Du…

arXiv – cs.AI 02.03.2026 05:00

Forschung

Effiziente inkrementelle LTLf‑Synthese: Echtzeit‑Strategien

Ein neues arXiv‑Veröffentlichung (2603.01201v1) präsentiert einen innovativen Ansatz für die inkrementelle LTLf‑Synthese, bei der Ziele wäh…

arXiv – cs.AI 03.03.2026 05:00

Praxis

FireRedTeam präsentiert FireRed-OCR-2B: Halluzinationen in Tabellen und LaTeX

Die Digitalisierung von Dokumenten ist seit langem ein mehrstufiges Problem: Zunächst muss das Layout erkannt, anschließend der Text extrah…

MarkTechPost 02.03.2026 06:38

Forschung

Metriken zur Aufgabenkomplexität in Robotik: Ergebnisse überraschen

Reinforcement Learning hat in den letzten Jahren enorme Fortschritte in Robotik und Sprachverarbeitung erzielt. Ein zentrales Problem bleib…

arXiv – cs.LG 24.02.2026 05:00

Forschung

ABD: Benchmark für Default‑Exception‑Abduktion in endlichen First‑Order‑Welten

Auf der Plattform arXiv wurde ein neues Benchmark‑Set namens ABD vorgestellt, das die Herausforderung der Default‑Exception‑Abduktion in en…

arXiv – cs.AI 24.02.2026 05:00

Forschung

Neuer Parallel-Algorithmus zerlegt schwierige CircuitSAT-Probleme effizient

Wissenschaftler haben einen innovativen Parallel-Algorithmus entwickelt, der komplexe CircuitSAT-Aufgaben in handhabbare Teilprobleme zerle…

arXiv – cs.AI 20.02.2026 05:00

Forschung

Schnelle KV-Kompression durch Attention Matching

Die Skalierung von Sprachmodellen auf lange Kontexte wird häufig durch die Größe des Key‑Value‑Caches (KV‑Cache) begrenzt. In der Praxis we…

arXiv – cs.LG 19.02.2026 05:00

Forschung

Neue Skalierungsformeln enthüllen die Entwicklung von Sprachmodellfähigkeiten

Forscher haben ein neues Verfahren zur Vorhersage der Leistungsfähigkeit von Sprachmodellen entwickelt, das auf präzisen Skalierungsregeln…

arXiv – cs.LG 18.02.2026 05:00

Forschung

Neue Benchmark enthüllt Schwächen von KI-Logikern

In der KI-Forschung dient Logik als kontrolliertes Testfeld, doch herkömmliche SAT-Benchmarks vermischen oft Oberflächenmerkmale wie Länge…

arXiv – cs.AI 16.02.2026 05:00

Forschung

Neue analytische Resultate für Poisson- und Normalverteilungen im HDP

Der Hierarchical Dirichlet Process (HDP) ist ein äußerst flexibles Bayesianisches Nonparametrisches Modell, das es ermöglicht, gruppierte D…

arXiv – cs.LG 16.02.2026 05:00

Forschung

Hardware‑Co‑Design: Neue Skalierungsformeln für On‑Device LLMs

Vision‑Language‑Action‑Modelle (VLAs) sind inzwischen ein zentrales Element der Physical AI und finden in autonomen Fahrzeugen, Robotern un…

arXiv – cs.LG 12.02.2026 05:00

Forschung

Neue risikobasierte Privatsphäre schützt Ausreißer in synthetischen Daten

Bei der Veröffentlichung synthetischer Datensätze sind manche Personen besonders anfällig für Angriffe. Patienten mit seltenen Krankheitsko…

arXiv – cs.LG 12.02.2026 05:00

Forschung

LLM-Active Alignment: Nash-Gleichgewicht als Weg zur sicheren KI

In einer neuen Studie wird ein spieltheoretisches Modell vorgestellt, das das Verhalten von großen Sprachmodellen (LLMs) vorhersagen und ge…

arXiv – cs.AI 09.02.2026 05:00

Forschung

Do It for HER: Belohnungsspezifikation in RL mit First-Order Temporaler Logik

In einer wegweisenden Veröffentlichung stellen die Autoren ein neues Framework vor, das die logische Spezifikation von nicht-Markovianen Be…

arXiv – cs.AI 09.02.2026 05:00

Forschung

ReLU‑Netzwerke vollständig identifizierbar dank mehrwertiger Logik

In einer bahnbrechenden Arbeit wird gezeigt, dass tiefe ReLU‑Netzwerke nicht nur komplexe Funktionen berechnen, sondern auch zahlreiche fun…

arXiv – cs.AI 03.02.2026 05:00

Forschung

Exakte geschlossene Formel für Gaußsche Momente in Residual-Netzen In einer neuen Veröffentlichung auf arXiv wird ein langjähriges Problem der KI-Forschung gelöst: Die exakte Berechnung von Mittelwert und Kovarianz einer beliebigen multivariaten Gaußschen Verteilung, wenn sie durch ein tiefes Residual-Netzwerk propagiert wird. Durch schichtweise Momentenabgleich wird die Unsicherheit in den Eingaben präzise nachverfolgt. Der Beitrag liefert erstmals geschlossene Formeln für die Momentenabgleichverfahren

arXiv – cs.LG 02.02.2026 05:00

Forschung

Neue Messgröße: Relative Wasserstein-Winkel liefert bessere Gauß-Approximation

In einer neuen Studie auf arXiv wird ein innovatives Konzept vorgestellt, das die Abweichung einer Stichprobenverteilung von einer Gauß-Ver…

arXiv – cs.LG 02.02.2026 05:00

Forschung

Neues KI-Modell entdeckt vielversprechende Metallhydride für Wasserstoffspeicherung

Ein innovatives KI-Framework kombiniert kausale Entdeckung mit einem schlanken generativen Machine‑Learning‑Modell, um neue Metallhydride z…

arXiv – cs.LG 30.01.2026 05:00

Forschung

Elektronenmikroskop: Schnelle Aberrationskorrektur via Bayesian Optimierung

Die hochauflösende, aberrationskorrigierte Scanning Transmission Electron Microscopy (STEM) erfordert heute eine rasche Abstimmung der mult…

arXiv – cs.LG 28.01.2026 05:00

Forschung

Neue Theorie erklärt Synergie in Multi-Agent-Systemen unter Budgetgrenze

Forscher haben eine kompakte, kalibrierbare Theorie entwickelt, die genau vorhersagt, wann Multi-Agent-Systeme unter einem festen Rechenbud…

arXiv – cs.AI 27.01.2026 05:00

Forschung

Genauere Unsicherheitsanalyse: Exakte Ergebnisse für MLPs mit ReLU

Eine neue Veröffentlichung auf arXiv liefert exakte analytische Formeln für die Unsicherheitsweitergabe in trainierten Multi‑Layer‑Perzeptr…

arXiv – cs.LG 26.01.2026 05:00

Forschung

VisTIRA schließt Bild-Text-Lücke in visueller Mathematik

Vision‑Language‑Modelle (VLMs) schneiden bei mathematischem Denken schlechter ab als reine Text‑Modelle, wenn dieselben Aufgaben als Bilder…

arXiv – cs.AI 22.01.2026 05:00

Forschung

Neues Operator‑Lernverfahren nutzt nur Randdaten und fundamentale Lösungen

Ein neues neuronales Lernverfahren für lineare partielle Differentialgleichungen nutzt ausschließlich Randdaten – Lösungswerte und Normaldi…

arXiv – cs.LG 19.01.2026 05:00

Forschung

Framework optimiert Quellengewichte und Transfermenge im Multi-Source Transfer

Transfer‑Learning ist ein entscheidender Ansatz, um Modelle in datenarmen Szenarien zu verbessern. Doch wenn mehrere Quellaufgaben gleichmä…

arXiv – cs.AI 19.01.2026 05:00

Forschung

Neue Lernmethode steigert OCR-Leistung bei formatierten Dokumenten

Die Erkennung von Text in Bildern und gescannten Dokumenten bleibt ein zentrales Forschungsfeld. Trotz moderner OCR‑Modelle zeigen sich bei…

arXiv – cs.AI 15.01.2026 05:00

Forschung

Bayessche Kalman-Filter revolutionieren In-Context-Lernen in LLMs

Ein neues arXiv‑Veröffentlichung (2601.06100v1) präsentiert einen theoretisch fundierten Ansatz, der die Anpassung von großen Sprachmodelle…

arXiv – cs.LG 13.01.2026 05:00

Forschung

Neural‑Netzwerk invertiert nicht‑injektive Funktionen – neue Methode

Wissenschaftler haben einen innovativen Ansatz entwickelt, um nicht‑injektive Funktionen, die normalerweise nicht invertierbar sind, erfolg…

arXiv – cs.LG 12.01.2026 05:00

Finde Modelle, Firmen und Themen

BandPO: Dynamische Grenzen für stabile LLM‑Reinforcement‑Learning‑Optimierung

NeuroProlog: Neuromodell kombiniert Symbolik und KI für mathematisches Denken

Stein-Identität für q‑Gaussian mit Unterstützung – Gradientenschätzer

MMKG‑RDS: KI‑gestützte Daten‑Synthese aus multimodalen Wissensgraphen

Effiziente inkrementelle LTLf‑Synthese: Echtzeit‑Strategien

FireRedTeam präsentiert FireRed-OCR-2B: Halluzinationen in Tabellen und LaTeX

Metriken zur Aufgabenkomplexität in Robotik: Ergebnisse überraschen

ABD: Benchmark für Default‑Exception‑Abduktion in endlichen First‑Order‑Welten

Neuer Parallel-Algorithmus zerlegt schwierige CircuitSAT-Probleme effizient

Schnelle KV-Kompression durch Attention Matching

Neue Skalierungsformeln enthüllen die Entwicklung von Sprachmodellfähigkeiten

Neue Benchmark enthüllt Schwächen von KI-Logikern

Neue analytische Resultate für Poisson- und Normalverteilungen im HDP

Hardware‑Co‑Design: Neue Skalierungsformeln für On‑Device LLMs

Neue risikobasierte Privatsphäre schützt Ausreißer in synthetischen Daten

LLM-Active Alignment: Nash-Gleichgewicht als Weg zur sicheren KI

Do It for HER: Belohnungsspezifikation in RL mit First-Order Temporaler Logik

ReLU‑Netzwerke vollständig identifizierbar dank mehrwertiger Logik

Neue Messgröße: Relative Wasserstein-Winkel liefert bessere Gauß-Approximation

Neues KI-Modell entdeckt vielversprechende Metallhydride für Wasserstoffspeicherung

Elektronenmikroskop: Schnelle Aberrationskorrektur via Bayesian Optimierung

Neue Theorie erklärt Synergie in Multi-Agent-Systemen unter Budgetgrenze

Genauere Unsicherheitsanalyse: Exakte Ergebnisse für MLPs mit ReLU

VisTIRA schließt Bild-Text-Lücke in visueller Mathematik

Neues Operator‑Lernverfahren nutzt nur Randdaten und fundamentale Lösungen

Framework optimiert Quellengewichte und Transfermenge im Multi-Source Transfer

Neue Lernmethode steigert OCR-Leistung bei formatierten Dokumenten

Bayessche Kalman-Filter revolutionieren In-Context-Lernen in LLMs

Neural‑Netzwerk invertiert nicht‑injektive Funktionen – neue Methode

🍪 Cookie-Einstellungen