AI
Vector Symbolic Policy Gradient
Researchers have developed a new method for training AI agents called Vector Symbolic Policy Gradien...
AI
Mechanistic Interpretability of Structure-Aware Numerical Reasoning in LLaMA 3.1 8B
Researchers have investigated how the large language model Llama 3.1-8B performs in time-series pred...
AI
Pedagogical AI in Mental Health: A Tri-Stream Fine-Tuned LLM Framework for Automated Clinical Supervision and Risk Triage
Researchers have developed a framework that uses artificial intelligence to help supervise mental he...
AI
Formal Verification of Romanov's Triplet Logic: A Verified Filter for Sliding-window 3-CNF with Application to Structured Formulas
Researchers have formally verified Romanov's Triplet Logic (TLS), a mathematical theory for reasonin...
AI
ERASE: EaRly bAckpropagation SchEdule for Faster Training of Modern Recommendation Systems
Researchers propose ERASE, a scheduling technique for faster training of modern ...
AI
Coverage-Driven RTL Assertion Generation with Formal Exploration and Neuro-Symbolic Refinement
Researchers have developed a new system for generating high-quality assertions i...
AI
Partition the Support, Reconstruct the Residual: Training-Free Sparse Attention for Video Generation and World Models
Researchers have developed a new method for accelerating video generation and wo...
AI
Physics-Unrolled Neural Operator for Wireless Field Modeling
Researchers have developed a new model called Physics-Unrolled Hybrid Neural Ope...