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