Tech Times on MSN

ARC-AGI-3 gets open-source agent that writes Python world models instead of neural weights

ARC-AGI-3 benchmark gains its first fully open-source agent: NIMI's Tycho writes Python code as falsifiable hypotheses about ...
Communications of the ACM

egg: Fast and Extensible Equality Saturation

Recently, a technique called equality saturation adapted e-graphs for program optimization. Equality saturation can ...