Neues LLM für chinesisches Arbeitsrecht: LabourLawLLM setzt neue Maßstäbe Ein Open-Source-Tool zur Analyse von JavaScript-Code, das von Google entwickelt wurde. Es kann sowohl lokale als auch Remote-Code analysieren und liefert detaillierte Informationen zu Codequalität, Performance und Sicherheitsrisiken. arXiv – cs.AI 16.01.2026 05:00
AI-Produktpass: Mehr Transparenz und Nachverfolgbarkeit in der medizinischen KI Im Rahmen des AI4HF-Projekts wurde der AI‑Produktpass entwickelt, ein standardsicher Rahmen, der die Transparenz, Nachverfolgbarkeit und Compliance von KI‑Systemen im Gesundheitswesen deutlich verbessert. Der Fokus lag dabei auf KI‑Tools zur Diagnose und Behandlung von Herzinsuffizienz. arXiv – cs.AI 17.12.2025 05:00
Gödel's Poetry: Automatisiertes Theorembeweisen mit KI Forscher haben ein neues System vorgestellt, das die Grenzen des automatisierten Beweisens mit künstlicher Intelligenz verschiebt. Durch den Einsatz spezialisierter Sprachmodelle für die Lean4-Umgebung erzeugt das System Beweise und zerlegt schwierige Sätze in einfachere, logisch zusammenhängende Propositionen. arXiv – cs.AI 17.12.2025 05:00
Zentrales Tool zur Verfolgung von KI-Agenten: Solo.io präsentiert Agentregistry Solo.io hat mit Agentregistry ein neues Open‑Source‑Tool vorgestellt, das die Verwaltung von KI‑Agenten vereinfacht. Durch eine zentrale Datenbank können Entwickler*innen die Fähigkeiten von Agenten schnell finden, prüfen und in unterschiedlichen Frameworks einsetzen. ZDNet – Artificial Intelligence 18.11.2025 14:38
Open‑Source‑Tool kann 5G‑Verkehr ausspionieren und Angriffe starten Das Forschungsteam Sni5Gect hat ein Open‑Source‑Tool veröffentlicht, das 5G‑Netzwerke ausspionieren und Angriffe starten kann – und das ohne die üblichen „rogue“ Basisstationen. The Register – Headlines 18.08.2025 11:45
LLM-gesteuerter Co-Pilot erleichtert die Anwendung von Kausalitätsanalysen Ein neues Open‑Source-Tool namens CATE‑B nutzt große Sprachmodelle, um Anwender bei der Schätzung von Behandlungseffekten aus Beobachtungsdaten zu unterstützen. Durch einen agentenbasierten Ansatz führt CATE‑B Nutzer Schritt für Schritt durch den gesamten Prozess der kausalen Analyse. arXiv – cs.LG 15.08.2025 05:00
