VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks Paper • 2511.04662 • Published Nov 6, 2025 • 34
When Do Transformers Learn Heuristics for Graph Connectivity? Paper • 2510.19753 • Published Oct 22, 2025 • 3
When Do Transformers Learn Heuristics for Graph Connectivity? Paper • 2510.19753 • Published Oct 22, 2025 • 3
When Do Transformers Learn Heuristics for Graph Connectivity? Paper • 2510.19753 • Published Oct 22, 2025 • 3 • 2
AION-1: Omnimodal Foundation Model for Astronomical Sciences Paper • 2510.17960 • Published Oct 20, 2025 • 29
Tree-based Dialogue Reinforced Policy Optimization for Red-Teaming Attacks Paper • 2510.02286 • Published Oct 2, 2025 • 28
deqing/llama-3.2-350M-fourier_otf_multiplication_unk Text Generation • 0.4B • Updated Sep 11, 2025 • 3
deqing/llama-3.2-350M-fourier_otf_multiplication_unk Text Generation • 0.4B • Updated Sep 11, 2025 • 3
deqing/llama-3.2-350M-fourier_otf_multiplication_unk Text Generation • 0.4B • Updated Sep 11, 2025 • 3