LONDON (IT BOLTWISE) – Meta hat eine neue Technik zur Verbesserung von Code-Reviews mit KI entwickelt, die die Genauigkeit in einigen Fällen auf 93 % steigert. Diese Methode, bekannt als semi-formales Reasoning, ermöglicht es KI-Agenten, systematisch Beweise zu sammeln und fundierte Schlussfolgerungen zu ziehen, ohne den Code auszuführen.
Die Entwicklung von KI-Agenten für Aufgaben im Repository-Maßstab, wie Fehlererkennung, Patch-Verifizierung und Code-Review, erfordert die Überwindung erheblicher technischer Hürden. Ein wesentlicher Engpass ist die Notwendigkeit, dynamische Ausführungssandkästen für jedes Repository einzurichten, was teuer und rechenintensiv ist. Stattdessen wird zunehmend auf die Schlussfolgerungen großer Sprachmodelle (LLMs) gesetzt, um diesen Aufwand zu umgehen, was jedoch häufig zu ungestützten Vermutungen und Halluzinationen führt. Um die ausführungslosen Schlussfolgerungen zu verbessern, haben Forscher bei Meta das ‘semi-formale Reasoning’ eingeführt, eine strukturierte Prompting-Technik.
Diese Methode erfordert, dass der KI-Agent ein logisches Zertifikat ausfüllt, indem er explizit Prämissen angibt, konkrete Ausführungspfade nachzeichnet und formale Schlussfolgerungen ableitet, bevor er eine Antwort gibt. Das strukturierte Format zwingt den Agenten, systematisch Beweise zu sammeln und Funktionsaufrufe zu verfolgen, bevor er Schlussfolgerungen zieht. Dies erhöht die Genauigkeit von LLMs bei Codierungsaufgaben und reduziert Fehler bei der Fehlerlokalisierung und der Beantwortung von Fragen zur Codebasis erheblich.
In der Praxis wurde das semi-formale Reasoning in drei Software-Engineering-Aufgaben getestet: der Verifizierung der Patch-Äquivalenz, der Fehlerlokalisierung und der Beantwortung von Codefragen. Die Experimente zeigten, dass die strukturierte Methode die Genauigkeit bei der Verifizierung von Patches von 78 % auf 88 % verbesserte. Bei der Bewertung von realen, agentengenerierten Patches mit verfügbaren Testspezifikationen erreichte das Modell Opus-4.5 mit semi-formalem Reasoning eine Verifizierungsgenauigkeit von 93 %.
Während das semi-formale Reasoning erhebliche Zuverlässigkeitsverbesserungen bietet, müssen Entwickler in Unternehmen einige praktische Einschränkungen berücksichtigen. Es gibt einen klaren Kompromiss zwischen Rechenleistung und Latenz. Das semi-formale Reasoning erfordert mehr API-Aufrufe und Tokens. Dennoch bietet diese Technik eine flexible Alternative zu klassischen statischen Analysetools, indem sie LLM-Agenten mit aufgabenspezifischen Reasoning-Templates ausstattet, die über Sprachen und Frameworks hinweg generalisieren.
💳 Amazon-Kreditkarte mit 2.000 Euro Limit bestellen!
🔥 Heutige Hot Deals bei Amazon: Bis zu 80% Rabatte!
🎉 Amazon Haul-Store für absolute Schnäppchenjäger!
- ★ 23-stufiges KI-Go-Training – Für Spieler mit Grundkenntnissen der Regeln – Entwickelt als intelligenter Trainingspartner passt sich die KI Spielern von 18K bis 9D an. Ideal für alle, die die Grundregeln bereits beherrschen und ihr Spiel verbessern möchten.
- IHR EMOTIONALER AI-BEGLEITER: Eiliko ist mehr als nur ein Anhänger, es ist ein charismatischer KI-Freund. Mit einem dynamischen LED-Bildschirm, der eine Vielzahl von animierten Gesichtern und Ausdrucksformen anzeigt, reagiert er auf Ihre Interaktionen mit einzigartiger Persönlichkeit und Charme.
- NIEDLICHER BEGLEITER: Eilik ist der ideale Begleiter für Kinder und Erwachsene, die Haustiere, Spiele und intelligente Roboter lieben. Mit vielen Emotionen, Bewegungen und interaktiven Funktionen.
- 【XL-Größe für gedeihende Pflanzen】Geben Sie Ihren Pflanzen den Raum, den sie verdienen! Unser verbessertes, großes 13,7 cm großes Design bietet Platz für Pflanzen mit einem Durchmesser von bis zu 8,9 cm und damit deutlich mehr Platz für Wurzelwachstum und Pflanzengesundheit im Vergleich zu kleineren, veralteten Modellen. Die Produktabmessungen betragen 13,6 x 13,6 x 13,2 cm und das Gerät wiegt nur 355 g.
- V28 Update - JETZT MIT NEUEN FUNKTIONEN! Als Reaktion auf das Ladeproblem von Loona haben wir das automatische Aufladen 2.0 verbessert. Diese Optimierung hilft Loona, die Ladewege in verschiedenen Szenarien zu erkennen und anzupassen, um die Erfolgsquote beim automatischen Aufladen zu erhöhen. Mobile Hotspots können sich mit Loona verbinden und überwinden WLAN-Einschränkungen, sodass Sie jederzeit und überall mit Loona interagieren können.
- Die besten Bücher rund um KI & Robotik!
- Die besten KI-News kostenlos per eMail erhalten!
- Zur Startseite von IT BOLTWISE® für aktuelle KI-News!
- IT BOLTWISE® kostenlos auf Patreon unterstützen!
- Aktuelle KI-Jobs auf StepStone finden und bewerben!
- Künstliche Intelligenz: Dem Menschen überlegen – wie KI uns rettet und bedroht | Der Neurowissenschaftler, Psychiater und SPIEGEL-Bestsellerautor von »Digitale Demenz«
Du hast einen wertvollen Beitrag oder Kommentar zum Artikel "Meta verbessert Code-Review mit neuer KI-Technik" für unsere Leser?
#Sophos
#AmazonPrime
#Bestseller
Es werden alle Kommentare moderiert!
Für eine offene Diskussion behalten wir uns vor, jeden Kommentar zu löschen, der nicht direkt auf das Thema abzielt oder nur den Zweck hat, Leser oder Autoren herabzuwürdigen.
Wir möchten, dass respektvoll miteinander kommuniziert wird, so als ob die Diskussion mit real anwesenden Personen geführt wird. Dies machen wir für den Großteil unserer Leser, der sachlich und konstruktiv über ein Thema sprechen möchte.
Du willst nichts verpassen?
Du möchtest über ähnliche News und Beiträge wie "Meta verbessert Code-Review mit neuer KI-Technik" informiert werden? Neben der E-Mail-Benachrichtigung habt ihr auch die Möglichkeit, den Feed dieses Beitrags zu abonnieren. Wer natürlich alles lesen möchte, der sollte den RSS-Hauptfeed oder IT BOLTWISE® bei Google News wie auch bei Bing News abonnieren.
Nutze die Google-Suchmaschine für eine weitere Themenrecherche: »Meta verbessert Code-Review mit neuer KI-Technik« bei Google Deutschland suchen, bei Bing oder Google News!