Neuro-symbolic models are usually trained only on final labels, so they can predict correctly while learning wrong intermediate concepts—a failure called a reasoning shortcut. Soft-PNet aims to avoid this by anchoring each concept to a single labeled example and using a prototype distribution to guide a Metropolis walk over a precomputed cache of feasible symbolic solutions. The authors report that on MNIST-EvenOdd, Visual Sudoku, and Kand-Logic under scarce supervision, Soft-PNet matches loss-engineered prototypical networks at both concept and label levels, recovers concepts that soft-grounding baselines miss, and does so with no loss engineering and lower training time. The work is posted as a preprint on arXiv.
Science Explained/Brief
Vendor-Native Coding Harnesses Show No Clear Average Advantage in Paired Test
A new arXiv paper compares agentic coding harnesses paired with the same models on a private, contamination-controlled suite. It reports no resolved average advantage…
