X @Polyhedra

4/Gemma3 Quantization: Introduced front-end padding for variable-length inputs to enable flexible inference.Next Steps (Circuit Optimization): Plan to prune gemma3 nodes during circuitization to reduce redundancy and improve proof efficiency.Stay tuned for more updates. ...