NL

NL-MambaXCT: Self-Supervised Nested-Learning Mamba for Nomex Honeycomb X-ray CT Defect Classification

Announce Type: replace-cross Abstract: X-ray computed tomography (XCT) is widely used for non-destructive testing of Nomex honeycomb structures in aerospace manufacturing, but industrial inspection still relies heavily on manual interpretation and supervised models trained on limited labeled data. This work introduces NL-MambaXCT, a Mamba-based framework that combines self-supervised masked image modelling with a Nested Learning (NL) formulation for automated, label-efficient defect...

MLB Power Rankings: An all-NL top 3 -- but who cam...

Atlanta's reign atop our list continues for the fourth consecutive week, as the Braves narrowly beat out the Dodgers for the No. 1 spot in Week 10. It was a big week for the National League as the Brewers round out our top three, marking the first time this season that the top three teams have all been from the NL. The Pirates, Phillies and Padres join the trio in our top 10, as the Yankees, Rays, Mariners and Guardians represent the American League in the top 10.

Still-too-early 2026 MLB All-Stars: AL, NL roster ...

We're about a month away from MLB All-Star Game rosters being announced, so it's time for ESPN's still-too-early All-Star selections. As always, we have wonderful surprises and family-friendly debates for all ages. Get some popcorn and settle in.

Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling

arXiv:2606.02837v1 Announce Type: new Abstract: Accurate translation from Natural Language to First-Order Logic (NL-to-FOL) underpins neurosymbolic AI systems and Natural Language Inference (NLI), making the quality of NL-to-FOL benchmarks essential -- yet these datasets have never been rigorously audited. Our first contribution is to present a systematic human inspection of the validation split of \textsf{FOLIO} and a subset of \textsf{MALLS} test instances, finding that approximately 39%...

Code Is More Than Text: Uncertainty Estimation for Code Generation

arXiv:2606.09577v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly deployed as code generators, where silently wrong programs pose real safety and reliability risks. Reliable uncertainty estimation (UE) is essential for selective prediction, human-in-the-loop review, and downstream agentic decisions. Yet most existing code UE methods are inherited from natural language (NL) generation and ignore properties that make code distinct.

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing

Announce Type: replace Abstract: Large Language Models (LLMs) have recently emerged as powerful tools for autoformalization. Despite their impressive performance, these models can still struggle to produce grounded and verifiable formalizations. Recent work in text-to-SQL, has revealed that LLMs can be sensitive to paraphrased natural language (NL) inputs, even when high degrees of semantic fidelity are preserved.

Parallel Reconstruction of Lawful TLS Wiretapping

Parallel Reconstruction of Lawful TLS Wiretapping Transport Layer Security (TLS) is the protocol involved in getting the lock icon to appear in your browser next to the URL. Under the hood it uses a bunch of really cool numbers for encryption. Some numbers are considered private and need securing; some are considered public and are fine for sharing.

What all 30 MLB teams must do before the trade dea...

This season's MLB trade deadline -- Aug. 3 -- is a little later than usual. Still, it's not too early in the season to begin pondering how teams might approach it. As we do with Stock Watch each June, let's take a look at how all 30 clubs are grouped in terms of postseason outlook, and what needs to happen between now and then to clarify each team's deadline status.

Dutch cops wrest 17M devices from mystery botnet's clutches

The LD_DEBUG environment variable (2012)

The LD_DEBUG environment variable Originally published 23 April 2012, updated 10 September 2019 (add link to troubleshooting tool), updated 18 October 2019 (moved to Jekyll), updated 3 April 2023 with links to other tools Development of large systems using many shared (dynamically) loaded libraries can sometimes lead to some frustrating bugs that are difficult to diagnose. These bugs often arise because there a few different versions of libraries on the system and the “wrong” version gets...